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.
B-Prolog is a compact and complete CLP system that runs Prolog and CLP(FD) programs. An emulator-based system, B-Prolog has a performance comparable with SICStus-Prolog. Since release in 1994, it has been greatly improved in performance, functionality, robustness, and portability.
Bigloo is a Scheme implementation devoted to one goal: enabling Scheme based programming style where C(++) is usually required. Bigloo attempts to make Scheme practical by offering features usually presented by traditional programming languages but not offered by Scheme and functional programming. Bigloo compiles Scheme modules. It delivers small and fast stand alone binary executables. Bigloo enables full connections between Scheme and C programs, between Scheme and Java programs, and between Scheme and C# programs.
Cameleon for OCaml
Cameleon aims to become an integrated development environment for Objective-Caml, and eventually other languages. Its main features are: graphical user interface, configuration management based on CVS, easy access to and browsing of documentation, various editors, according to customizable file types, use of plug-ins to define new features, and a highly customizable interface (menus, toolbar, keyboard shortcuts).
CMUCL is a lisp compiler that is intended to produce code that rivals compiled C code. Features include a sophisticated native-code compiler which is capable of powerful type inferences, and generates code competitive in speed with C compilers, generational garbage collection and multiprocessing capability on the x86 ports, a foreign function interface which allows interfacing with C code and system libraries, including shared libraries on most platforms, and direct access to Unix system calls, and more.
Gambit-C includes a Scheme interpreter and a Scheme compiler which can be used to build standalone executables. Because the compiler generates portable C code it is fairly easy to port to any platform with a decent C compiler. The thread system is very efficient and can support millions of concurrent processes.
Glasgow Haskell Compiler
Glasgow Haskell Compiler is a robust, fully-featured, optimising compiler for the functional programming language Haskell. Read more
The GMP compiler simplifies the use of GMP, the GNU multiple precision library. It scans a C source file for specially marked GMPS arithmetic expressions and replaces them with plain C.
Ivy C compiler
Ivy is a compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety. Ivy supports the full C language, and relies on a small number of lightweight annotations in the source code to keep time and space overheads reasonable. Ivy is implemented as a C-to-C compiler using gcc as its backend.
ML Kit with Regions
ML Kit with Regions is a compiler for the programming language Standard ML. The MLKit integrates reference-tracing garbage collection with region-based memory management. Memory allocation directives (both allocation and deallocation) are inferred by the compiler, which uses a number of program analyses concerning lifetimes and storage layout.
MLj is a compiler for Standard ML which produces Java bytecodes. It compiles the functor-free subset of the new SML'97 language plus some new language extensions for straightforward interlanguage working with Java. It produces compact standalone compiled code which can be run on any computer with a Java Virtual Machine.
MLton is a whole-program optimizing compiler for the Standard ML programming language. It runs on PowerPC, X86, Sparc, and supports the ull SML 97 language as given in The Definition of Standard ML.
nhc98 is a small, easy to install, standards-compliant compiler for Haskell 98, the lazy functional programming language. It is very portable, and aims to produce small executables that run in small amounts of memory. It produces medium-fast code, and compilation is itself quite fast. It also comes with extensive tool support for automatic compilation, foreign language interfacing, heap and time profiling, tracing, and debugging.
Ocaml is a strongly-typed functional programming language from the MLfamily. Ocaml is freely available, and highly portable, since it runs under virtually any Unix, PC, or Macintosh platform. Objective Caml features a powerful modules system, full support to object-oriented paradigm, and anoptimizing compiler.
slisp is a simple Lisp interpreter that implements most of the common Lisp constructs in a few hundred lines of C code. It may be useful for learning the basis of the Lisp language.
SML/NJ is a compiler for the Standard ML '97 programming language with associated libraries, tools, and documentation. SML/NJ is free, open source software.
Steel Bank Common Lisp
Steel Bank Common Lisp (SBCL) is an open source (free software) compiler and runtime system for ANSI Common Lisp. It provides an interactive environment including an integrated native compiler, a debugger, and many extensions.
(commercial) Strawberry Prolog is a 32-bit Prolog compiler developed to work within operational systems Windows 95/98/NT and Unix/Linux.
TenDRA is a BSD-licensed C compiler, with C++ STL support forthcoming. TenDRA uses the Architecture Neutral Distribution Format (ANDF) as its intermediate language. This intermediate language focuses on abstracting into a high level language instead of an assembler-like language as is common with most compilers (think RTL).