RSS 5 projects tagged "Common 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 Website Updated 17 Apr 2005 Fract

Screenshot
Pop 43.30
Vit 2.01

Fract is a Web-based fractal zoomer for the Mandelbrot set. It has no advanced features, for the goal is to keep the code easy to read for someone interested in fractals. The package also includes an offline renderer that you can use to generate high resolution images of your favorite spots. You can also easily play with the color map.

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.51
Vit 4.97

ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.

Download Website Updated 10 Jun 2003 Charlemagne

Screenshot
Pop 19.60
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.

Download Website Updated 07 Jul 2010 GNU CLISP

Screenshot
Pop 457.06
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.

Screenshot

Project Spotlight

ClubMaster

A membership management system.

Screenshot

Project Spotlight

TagSpaces

Multi-platform file tagging and organizing.