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. Alice Alice is a functional programming language based on Standard ML, extended with rich support for concurrent, distributed, and constraint programming. Artelys Kalis 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. BRL 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 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. Cayenne a simple(?) functional language with a powerful type system. The basic types are functions, products, and sums. Functions and products use dependent types to gain additional power CDuce 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. Chicken 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 ChocoSmallTalk The ChocoSmallTalk system is a hybrid Smalltalk/Lisp implementation in Common Lisp. Clean a general purpose, higher order, pure and lazy functional programming language for the development of sequential, parallel and distributed real world applications ClearLisp 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. CLISP 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. CMU Common Lisp a full-featured Common Lisp system, focusing on a very good compiler Elk 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 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. FISh a new array programming language that combines (and extends) the expressive power of of functional programming with the efficient execution of imperative, or procedural, programming by performing static shape analysis 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. Gauche an R5RS Scheme implementation developed to be a handy script interpreter, which allows programmers and system administrators to write small to large scripts for their daily chores Haskell a general purpose, purely functional programming language Haskell++ an `object oriented' extension of Haskell, which supports a form of inheritance via extended class and instance declarations Hedgehog Hedgehog is a very concise implementation of a Lisp-like language for low-end and embedded devices. It consists of a compiler and a byte code interpreter. The byte code interpreter is written in standard conforming C, is efficient and easily portable, and can be compiled to a very small executable of only some 20 kilobytes in the smallest configuration for the Intel x86 architecture. Hugs a functional programming system based on Haskell 98, the de facto standard for non-strict functional programming languages Inlab-Scheme an independent implementation of the algorithmic language Scheme J An APL with no special characters, by APL inventor Kenneth Iverson. Faster development than many languages. Free evaluation download. JoCaml JoCaml is an extension of Objective Caml with primitives for network-transparent distributed and mobile programming. Kokogut 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 Ksi Scheme an implementation of the Scheme programming language written in C KSM-Scheme 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 LispWorks 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 a basic, tiny LISP implementation. It was created to be a configuration/logic file format Logtalk an Open Source object-oriented extension to the Prolog programming language mercury a new logic-functional language MLWorks (commercial) Harlequin's implementation of SML Mondrian 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 a new hybrid (functional, object-oriented and imperative) programming language for the .NET platform Objective Caml the latest implementation of the Caml dialect of ML. Caml is a strongly-typed functional programming language from the ML family Opal integrates both concepts of algebraic specification and functional programming. A comprehensive set of tools supporting the language constitutes the OPAL compilation system OCS OpenComal 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 OpenMCL an opensourced Common Lisp implementation, derived from Digitool's Macintosh Common Lisp product 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 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. Prolog IV a compiled constraint programming language. The language foundations defined by Alain Colmerauer, constitute a novel and rigorous mathematical model QScheme a small and fast Scheme interpreter. It's more or less R5RS conformant Qu-Prolog 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 Refal-5 REcursive Functions Algorithmic Language RPL/2 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 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 Scheme Scribe 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 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.
Next 50
