RSS 71 projects tagged "Common Lisp"

No download Website Updated 11 Oct 2011 Common Lisp Quick Reference

Screenshot
Pop 35.83
Vit 46.26

Common Lisp Quick Reference is a booklet with short descriptions of the thousand or so symbols defined in the ANSI standard. It comes with a comprehensive index. It is written in LaTeX and formatted for printing on both A4 and letter paper. After folding the sheets lengthwise, they can easily be turned into a handy booklet.

No download No website Updated 24 Sep 2011 Design Center

Screenshot
Pop 19.44
Vit 30.61

Design Center is a Web application that allows users to change the colour of different layers in a photo. In a photo of a bedroom, there could be layers for the walls, the ceiling, and for the floor. The application lets users change the colour of each and see how a new paint job would look. If used on a furniture store's Web site, different layers could be used for beds, chairs, lampshades, etc. to allow customisation by users.

Download Website Updated 16 Jul 2011 otl

Screenshot
Pop 78.69
Vit 7.89

otl is a text processor for generating markup from readable lightweight markup. Much of both the input and output formats can be customized. HTML output is bundled as an example. otl supports complex structures such as nested ordered and unordered lists, headers and footers, and tables.

Download Website Updated 11 Apr 2011 ACL2

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

No download No website Updated 29 Mar 2011 Phoros

Screenshot
Pop 16.97
Vit 33.42

Phoros is a Web-based tool for photogrammetric road survey. Storage locations of images and GPS data acquired by a measuring vehicle are stored by Phoros into a PostgreSQL database. Images and a map are then presented on Phoros' Web interface. There, a user can determine and store global coordinates of features shown in the images.

Download Website Updated 25 Jul 2010 Menace of the Mines

Screenshot
Pop 39.50
Vit 2.09

Menace of the Mines is a fast-paced roguelike game that has tons of monsters, many different classes and races, and a unique magic system (well, that's the goal).

Download Website Updated 07 Jul 2010 GNU CLISP

Screenshot
Pop 458.48
Vit 11.64

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 23 May 2010 The Stump Window Manager

Screenshot
Pop 57.86
Vit 4.66

Stumpwm is a tiling, keyboard driven X11 window manager written entirely in Common Lisp. While it is minimalistic in appearance, its full customizability, event hooks, and 100% pure Lisp implementation make it startlingly powerful.

No download No website Updated 16 Nov 2009 evol

Screenshot
Pop 12.65
Vit 40.18

evol (entrenched virtues of Lisp (love reversed)) aims to be a compatible and full-fledged replacement for the GNU autotools stack. It is targeted at coping with the autotools' shortcomings while not repeating the mistakes made by comparable build tool projects.

Download Website Updated 10 Oct 2009 Spartns

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

Screenshot

Project Spotlight

Polipo

A lightweight caching Web proxy.

Screenshot

Project Spotlight

flashrd

An OpenBSD flash read-only installer.