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 Clean is a general purpose, state-of-the-art, pure and lazy functional programming language designed for making 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. 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. Haskell a general purpose, purely functional programming language Haskell++ Haskell++ is an `object oriented' extension of Haskell, which supports a form of inheritance via extended class and instance declarations. Hugs Hugs is a functional programming system based on Haskell 98, the de facto standard for non-strict functional programming languages. husk 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. 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 Larceny 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 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. 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 Metacza Metacza is a language and its compiler which produces output in the C++ Meta Template 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 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 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 Red language Red language is a native-code compiled functional, imperative, symbolic, and homoiconic programming language that re-uses most of REBOL's syntax and semantics. 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
Next 50
