Projects tagged ‘functional’ and ‘programming_language’


[16 total ]

135 Users
   

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 ... [More] strong support for integration with other languages, built-in concurrency, debuggers, profilers, rich 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]
Created over 2 years ago.

93 Users
   

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.
Created over 3 years ago.

63 Users
   

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 ... [More] functional languages. It is also fully interoperable with Java. [Less]
Created over 3 years ago.

60 Users
   

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 ... [More] object-oriented programming styles. It has been developed and distributed by INRIA, France's national research institute for computer science, since 1985. The Objective Caml 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]
Created over 3 years ago.

36 Users
   

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.
Created over 3 years ago.

22 Users
   

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 ... [More] version 2.30b.It offers fast compilation of programs and reasonable execution speed. It also comes 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]
Created over 3 years ago.

16 Users
   

PLT Scheme is an innovative programming language that builds on a rich academic and practical tradition. It is suitable for implementation tasks ranging from scripting to application development ... [More] , including GUIs, web services, etc. It includes the DrScheme programming environment, a virtual machine with a just-in-time compiler, tools for creating stand-alone executables, the PLT Scheme web server, extensive libraries, documentation for both beginners and experts, and more. It supports the creation of new programming languages through a rich, expressive syntax system. Example languages include Typed Scheme, ACL2, FrTime, Lazy Scheme, and ProfessorJ (which is a pedagogical dialect of Java). [Less]
Created about 1 year ago.

5 Users
   

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 ... [More] implementation is an interactive compiler to byte code written in C, with a runtime system written in C and Nickle. [Less]
Created over 2 years ago.

4 Users
   

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 ... [More] , electronic, hydraulic, thermal, control, electric power or process-oriented subcomponents. The goal of 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]
Created over 3 years ago.

3 Users

MLton is an open-source, whole-program, optimizing Standard ML compiler.
Created over 2 years ago.