RSS 7 projects tagged "Lisp"

Download Website Updated 07 Jul 2010 GNU CLISP

Screenshot
Pop 456.07
Vit 11.63

GNU CLISP is an ANSI Common Lisp implementation with an interpreter, compiler, debugger, object system (CLOS, MOP), sockets, fast bignums, arbitrary precision floats, and a foreign language interface that runs on most Unix variants and Win32.

Download Website Updated 07 Apr 2005 OBJ3

Screenshot
Pop 47.59
Vit 2.47

OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.

Download Website Updated 28 Apr 2011 Proof General

Screenshot
Pop 66.14
Vit 3.93

Proof General is a generic Emacs interface for proof assistants, suitable for use by pacifists and Emacs militants alike. It is supplied ready-customized for LEGO, Coq, and Isabelle. You can adapt Proof General to other proof assistants if you know a little bit of Emacs Lisp.

Download Website Updated 10 Jun 2003 Charlemagne

Screenshot
Pop 19.67
Vit 1.44

Charlemagne is a versatile genetic programming application. It includes a commandline client and an interactive console mode. It is written in Python and Lisp, and is user extensible to some degree in both languages. It features built-in input-output mapping support and provides the ability to define complex fitness calculations in Lisp or Python.

No download Website Updated 19 Aug 2005 csl4lin

Screenshot
Pop 14.90
Vit 1.00

csl4lin is a Linux porting of CSL (Codemist Standard Lisp).

Download Website Updated 10 Oct 2009 Spartns

Screenshot
Pop 32.73
Vit 5.98

Spartns is a sparse tensor representation library for Common Lisp. Tensors are a generalization of vectors and matrices for any number of dimension. Spartns is fast and flexible, allowing different dimensions to be represented in different ways.

Download No website Updated 02 Nov 2011 Treep

Screenshot
Pop 74.46
Vit 3.45

Treep is a simple language for doing symbolical computations. It operates on numbers and strings that can be organized in more complex objects. These objects are lists of name-value pairs that are stored in memory as AVL trees. It has about sixty built-in functions to operate on such data and a way to define new functions. Treep syntax very much resembles Lisp. The power of treep is its simplicity and security. Treep is a good tool do process objects and relations between them. For example it is possible to define graphs as a sets of vertices and edges in text file, parse that file, do any computations you like, write modified data to text file. Treep works well on graphs, trees, linked lists, simple hashes. Treep is not good at processing texts, dealing with system input/output.

Screenshot

Project Spotlight

DB Solo

A database development and management tool for developers and administrators.

Screenshot

Project Spotlight

Razer device configuration tool

A Razer device configuration tool.