Projects

GHC

Haskell is an advanced purely functional programming language. The product of more than twenty years of cutting edge research, it allows rapid development of robust, concise, correct software. With strong support for integration with other languages, built-in concurrency, debuggers, profilers, rich ... [More] libraries and an active community, Haskell makes it easier to produce flexible, maintainable high-quality software. GHC is a state-of-the-art, open source, compiler and interactive environment for Haskell. [Less]

Scala

Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. It is also fully interoperable with Java.

Erlang

Erlang is a programming language designed at the Ericsson Computer Science Laboratory. Ericsson released the entire source code of the Erlang system including extensive libraries of code for building robust fault-tolerant distributed applications.

OCaml

Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Caml supports functional, imperative, and object-oriented programming styles. It has been developed and distributed by INRIA, France's national ... [More] research institute for computer science, since 1985. The OCaml system is the main implementation of the Caml language. It features a powerful module system and a full-fledged object-oriented layer. It comes with a native-code compiler that supports numerous architectures, for high performance; a bytecode compiler, for increased portability; and an interactive loop, for experimentation and rapid development. [Less]

CLISP - an ANSI Common Lisp

GNU CLISP is an ANSI Common Lisp implementation with an interpreter, compiler, debugger, object system (CLOS, MOP), sockets, fast bignums, arbitrary precision floats, and foreign language interface which runs on most UNIXes and Win32.

Racket

Programming language suitable for implementation tasks ranging from scripting to application development, and supporting the creation of new programming languages. It includes the DrRacket programming environment, a virtual machine with a just-in-time compiler, and various other tools.

HUGS

Hugs (Haskell User's Gofer System) (also Hugs 98) is a bytecode interpreter for the functional programming language Haskell. Hugs is the successor to Gofer, and was originally derived from Gofer version 2.30b.It offers fast compilation of programs and reasonable execution speed. It also comes ... [More] with a simple graphics library. Hugs is good for people learning the basics of Haskell, but is by no means a "toy" implementation. It is the most portable and lightweight of the Haskell implementations. Hugs deviates from the Haskell 98 specification[2] in several minor ways.[3] For example, Hugs does not support mutually recursive modules. The Hugs prompt accepts expressions for evaluation, but not module, type or function definitions. [Less]

OpenModelica

Modelica is an object-oriented, domain-specific modeling language designed to allow convenient, component-oriented modeling of complex systems, e.g., systems containing mechanical, electrical, electronic, hydraulic, thermal, control, electric power or process-oriented subcomponents. The goal of ... [More] the OpenModelica project is to create a complete Modelica modeling, compilation and simulation environment based on free software distributed in binary and source code form. [Less]

Nickle

The Nickle Programming Language is a C-like language with modern programming language features, intended for rapid prototyping, complex scripting, and numerical calculation. The current implementation is an interactive compiler to byte code written in C, with a runtime system written in C and Nickle.

MLton

MLton is an open-source, whole-program, optimizing Standard ML compiler.