Open Source Scala Software Development Software for Linux

The Mozart Programming System is an open source implementation of the programming language Oz 3. Oz is a multi-paradigm language that supports declarative programming, object-oriented programming, constraint programming, concurrency and distributed programming as part of a coherent whole.

Erlang/Scala IDE based on NetBeans. With syntax checking, syntax highlighting, auto-completion, pretty formatter, occurrences mark, brace matching, indentation, code folding, function navigator, go to declaration, project management, shell console.

Assorted projects. General-purpose libraries for Python, C++, Scala, bash, and others. Meta-programming tools. System utilities. UI components. Web APIs. Configuration files. Benchmarks. Programming competition entries. And much more.

IMPORTANT: This project is no longer maintained. All the effort is targeted on project Radargun: http://radargun.sourceforge.net

Eclipse plug-ins that provide Prover IDE for Isabelle proof assistant, based on Isabelle/Scala framework. Isabelle/Eclipse started as a port of Isabelle/jEdit Prover IDE to integrate with Eclipse IDE as plug-ins. The integration uses common Eclipse components to provide theory editing, correct symbols, completion assistance, prover output and other features. By building on Eclipse it inherits various IDE goodies out of the box. This SourceForge project is used to distribute Isabelle/Eclipse files - the source code and issue management is available on GitHub: http://github.com/andriusvelykis/isabelle-eclipse Visit Isabelle/Eclipse website at http://andriusvelykis.github.com/isabelle-eclipse

A web application that helps students learn Java. Students can submit their solutions to programming exercises and get immediate feedback through automated tests. The application is built with Scala and Lift.

Scalaffinity is a library providing a core of functionalities for any social networking web site extracting and leveraging collective intelligence. Scalaffinity is built using Scala, Spring, JPA+Hibernate(Search)+EHCache, JUnit+DBUnit, Maven...

This domain specific language lets you declare complex java objects with a Json-like notation. In addition to that, it lets you specify in a natural way what the mockito mocks should return when called with a given value.

SmartIMS - Smart Information Managment System

Java-based scientific graphics with support for Java, Groovy, MATLAB, Python, the R statistical environment, Scala and SciLab.

The scala-fast-dynamic is a compiler plugin + a small runtime library for the Scala programming language (http://www.scala-lang.org) that re-implement the way structural types are translated into JVM bytecode, achieving higher performance.