Links:
AFNIX 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 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 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 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 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 GMP compiler 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 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 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 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 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 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 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. Strawberry Prolog (commercial) Strawberry Prolog is a 32-bit Prolog compiler developed to work within operational systems Windows 95/98/NT and Unix/Linux. Subs Subs is a Scheme Lisp interpreter written in C++. TenDRA 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).
Related Categories:
