 |
ACL2
Applicative Common Lisp, multipurpose system. Most common uses: language for programming, specification, modeling; a formal mathematical logic, semi-automatic theorem prover. [Open Source, GPL]
http://www.cs.utexas.edu/users/moore/acl2/
Utexas.edu ~
Site Info
Whois
Trace Route
RBL Check
|
 |
Lush: Lisp Universal SHell
Object-oriented language for researchers, experimenters, engineers, for large-scale numerics and graphics. Merges 3 languages: (1) weakly-typed, garbage-collected, dynamically scoped, interpreted language with Lisp syntax, (2) strongly-typed, lexically-s
http://lush.sourceforge.net/
Sourceforge.net ~
Site Info
Whois
Trace Route
RBL Check
|
 |
EuLisp
Dialect of scope similar to Common Lisp, object-oriented, but organized differently, with claimed cleaner design, by a group of European industrial and academic Lisp users and implementors. Description, FTP server, contacts, links.
http://www.aiai.ed.ac.uk/~jeff/lisp/eulisp.html
Ed.ac.uk ~
Site Info
Whois
Trace Route
RBL Check
|
 |
DotLisp
Interactive Lisp dialect for CLR (.Net) scripting, development. Deep CLR integration, sharing type system, GC, other runtime services, transparent access to .Net w/o a FFI or wrappers. Open source, BSD.
http://dotlisp.sourceforge.net/
Sourceforge.net ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|