AFNIX is a multi-threaded functional programming language with dynamic symbol bindings that support the object oriented paradigm. AFNIX features a state of the art runtime engine that supports both 32 and 64 bits platforms. AFNIX is distributed with several clients and a rich set of libraries that are designed to be platform independent.
Alice is a functional programming language based on Standard ML, extended with rich support for concurrent, distributed, and constraint programming.
Artelys Kalis is an extensible constraint programming framework enabling the user to define its own constraints and search heuristics. It also includes several global constraints. It is available as a C++ library and its port to Xpress-Mosel environment (Xpress-Kalis) offers easy-to-use modeling capabilities.
language designed for server-side WWW-based applications, particularly database applications. It is based on Scheme, which makes the syntax extremely simple yet powerful
Caml is a strongly-typed functional programming language from the ML family. Caml Light and Objective Caml are two implementations of Caml developed at projet Cristal.
Apache Cayenne is an open source persistence framework licensed under the Apache License, providing object-relational mapping (ORM) and remoting services. With a wealth of unique and powerful features, Cayenne can address a wide range of persistence needs.
CDuce is a modern XML-oriented functional language with innovative features. A compiler is available under the terms of an open-source license. CDuce is type-safe, efficient, and offer powerful constructions to work with XML documents.
a Scheme-to-C compiler supporting most of the language features as defined in the Revised^5 Report on Scheme. Chicken generates quite portable C code, and files compiled by it (including itself) should work without any changes on most platforms
The ChocoSmallTalk system is a hybrid Smalltalk/Lisp implementation in Common Lisp.
Clean is a general purpose, state-of-the-art, pure and lazy functional programming language designed for making real-world applications.
ClearLisp is a Common LISP interpreter written in C# with the purpose of scripting in a .NET or Mono environment. The ClearLisp language supports a large subset of CL and has an object model with generic functions, class and instance methods, properties, and import of existing .NET classes. ClearLisp executes LISP scripts in interactive mode or in Web mode (IIS; XSP or Apache with Mono). Sample ClearLisp code is provided in the form of a personal, file-based wiki Web application.
Common Lisp is a high-level, all-purpose, object-oriented, dynamic, functional programming language. CLISP includes an interpreter, a compiler, a debugger, CLOS, MOP, a foreign language interface, i18n, regular expressions, a socket interface, and more. An X11 interface is available through CLX, Garnet and CLUE/CLIO. Command line editing is provided by readline. CLISP runs Maxima, ACL2 and many other Common Lisp packages.
Clozure CL (often called CCL for short) is a free Common Lisp implementation with a long history. Some distinguishing features of the implementation include fast compilation speed, native threads, a precise, generational, compacting garbage collector, and a convenient foreign-function interface.
CMU Common Lisp
a full-featured Common Lisp system, focusing on a very good compiler
Coconut is a simple, elegant, Pythonic functional programming language that compiles to Python. Since all valid Python is valid Coconut, using Coconut will only extend and enhance what you're already capable of in Python.
Eff is a functional language with handlers of not only exceptions, but also of other computational effects such as state or I/O. With handlers, you can simply implement transactions, redirections, backtracking, multi-threading, and much more?
Elk is an implementation of the Scheme programming language. In contrast to existing, stand-alone Scheme systems Elk has been designed specifically as an embeddable, reusable extension language subsystem for applications written in C or C++. Developers using Elk can deliver applications with different components written in different languages, such as an efficient core written in C or C++ and an extensible user interface layer implemented in Scheme. To help building hybrid application architectures, Elk supports a tightly-knit interworking of the C/C++ parts of applications with Scheme code.
Erlang is a small concurrent functional programming language developed by Ericsson. It is being used by Ericsson as a systems programming language for large concurrent fault-tolerant distributed systems.
Franz Allegro Common Lisp
(commercial) Franz Inc. offers Allegro CL with AllegroCache that together provide an ideal environment to create complex, mission-critical applications that solve real world problems very quickly.
Guile is designed to help programmers create flexible applications that can be extended by users or other programmers with plug-ins, modules, or scripts. With Guile you can create applications and games for the desktop, the Web, the command-line, and more.
a general purpose, purely functional programming language
Haskell++ is an `object oriented' extension of Haskell, which supports a form of inheritance via extended class and instance declarations.
Hugs is a functional programming system based on Haskell 98, the de facto standard for non-strict functional programming languages.
husk is a dialect of Scheme written in Haskell that implements a subset of the R5RS standard. Advanced R5RS features are provided, including continuations, hygienic macros, and a full numeric tower.
Idris is a general purpose pure functional programming language with dependent types. Dependent types allow types to be predicated on values, meaning that some aspects of a program?s behaviour can be specified precisely in the type.
an independent implementation of the algorithmic language Scheme
An APL with no special characters, by APL inventor Kenneth Iverson. Faster development than many languages. Free evaluation download.
JoCaml is an extension of Objective Caml with primitives for network-transparent distributed and mobile programming.
a compiler of Kogut - an experimental programming language which supports functional and scripting-style programming, and a non-traditional flavor of object-oriented programming. Its semantics is most similar to Scheme or Dylan, but the syntax looks more like ML or Ruby
an implementation of the Scheme programming language written in C
a Scheme interprter that integrates easily with functions and variables defined in C language. KSM-Scheme implements Revised5 Report on the Algorithmic Language Scheme standard. In addition to the standard, KSM-Scheme has extensions that enable to call C functions and to manipulate C variables
Larceny is a simple and efficient implementation of the Scheme programming language. Created originally as a test vehicle for research on garbage collection and compiler optimizations, Larceny has grown into a major multiplatform system, and is one of the very few implementations that support all four de facto standards for Scheme: IEEE/ANSI, R5RS, ERR5RS, and the R6RS.
LIME is a dynamic programming language with LISP-like syntax. It started out as a minimal subset of LISP, and quickly incorporated several new features that enable different programming styles.
a commercial complete Common Lisp system that has native compilation, extensive debugging tools, a Foreign Language Interface, and libraries for CORBA, GUI, database, and rule-based programming
Lithp is a basic, tiny LISP implementation. It was created to be a configuration/logic file format.
an Open Source object-oriented extension to the Prolog programming language
Mercury is a logic/functional programming language which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features.
Metacza is a language and its compiler which produces output in the C++ Meta Template Language.
Mezzo is in the ML tradition, which places strong emphasis on the control of aliasing and access to mutable memory.
(commercial) Harlequin's implementation of SML
a functional language designed to interwork closely in an OO environment, such as .NET
Moscow ML provides a light-weight implementation of Standard ML, a strict functional language widely used in teaching and research.
Nemerle is a hybrid (functional, object-oriented and imperative) programming language for the .NET platform.
the latest implementation of the Caml dialect of ML. Caml is a strongly-typed functional programming language from the ML family
a highly portable and free implementation of the Comal programming language. Comal is a crossover between Basic and Pascal, with the best features of both and none of the drawbacks of either
Petite Chez Scheme
a complete Scheme system that is fully compatible with Chez Scheme but useshigh-speed threaded interpreter technology in place of Chez Scheme's incremental native-code compiler
PLAN is a resource-bounded functional programming language that uses a form of remote procedure call to realize active network packet programming. It is part of the SwitchWare Project.
Potigol is a modern language designed to be used by beginners. It features static typing with inference, multiparadigm, C-style syntax, and Portuguese-based language constructs.
a compiled constraint programming language. The language foundations defined by Alain Colmerauer, constitute a novel and rigorous mathematical model
a small and fast Scheme interpreter. It's more or less R5RS conformant
an extended Prolog designed primarily as a prototyping language and tactic language for interactive theorem provers. It is the implementation language for the Ergo theorem prover
Red language is a native-code compiled functional, imperative, symbolic, and homoiconic programming language that re-uses most of REBOL's syntax and semantics.
REcursive Functions Algorithmic Language
RPL/2 is a special language. The reversed polish notation and the definitional working come from Forth, only keeping an anonymous stack; the control structures come from Lisp.
Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele Jr. and Gerald Jay Sussman. It was designed tohave an exceptionally clear and simple semantics and few different ways to form expressions. A wide variety of programming paradigms, including imperative, functional, and message passing styles, find convenient expression in Scheme.
actually a true programming language, provided with high level features (such as objects, higher order functions, regular and syntactic parsing, etc.). Scribe is based on the Scheme programming language
Schemik is a high-level lexically-scoped implicitly-parallel dialect of Scheme and Common LISP. This means the parallel execution of programs is done independently of the programmer, and each program written in Schemik always produces the same results no matter which parts of the program are executed simultaneously.
SCM is a Scheme implementation conforming to Revised5 Report on the Algorithmic Language Scheme and the IEEE P1178 specification. SCM includes Hobbit, the Scheme-to-C compiler originally written by Tanel Tammet. Hobbit generates C files whose binaries can be dynamically or statically linked with a SCM executable. SCM includes linkable modules for sequence-comparison, arrays, records, and byte-number conversions; and modules for POSIX system calls and network-sockets, readline, ncurses, and Xlib.
(commercial) follows the mainstream Prolog tradition in terms of syntax and built-in predicates. As of release 3.8, SICStus Prolog provides two execution modes: the iso mode, which is fully compliant with the International Standard ISO/IEC 13211-1 (PROLOG: Part 1--General Core); and the sicstus mode, which is largely compatible with e.g. C-Prolog and Quintus Prolog, supports code written in earlier versions of SICStus Prolog
a High Performance, Portable, Parallel Programming Language
Standard ML is a safe, modular, strict, functional, a polymorphic programming language with compile-time type checking and type inference, garbage collection, exception handling, immutable data types and updatable references, abstract data types, and parametric modules
a free Scheme System (nearly) conform to R5RS. The aim of this implementation is to be fast as well as light. The implementation is based on an ad-hoc Virtual Machine. STklos can also be compiled as a library, so that one can easily embed it in an application
Streem is a concurrent scripting language based on a programming model similar to shell, with influences from Ruby, Erlang and other functional programming languages.
a portable implementation of the Scheme Programming language. It conforms to IEEE/ANSI standard of Scheme and supports all features of the R5RS Report on Scheme. In addition, SXM supports numerous features of Chez Scheme v6.0 and SRFIs 0, 6, 8, 11, and 16
TL3 is a compact lisp interpretor that is an ancestor of Lush. It is pretty clean with a full online documentation, a graphic toolkit, an extension protocol, etc.
an obfuscated functional programming language, a mixture of Intercal and Scheme