RSS 70 projects tagged "Common Lisp"

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.08
Vit 4.96

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 04 Sep 2002 Allegro Common Lisp

Screenshot
Pop 40.60
Vit 1.00

Allegro Common Lisp is a full ANSI Common Lisp (1994) implementation. It contains many extensions, including 32- and 64-bit native compilation, efficient built-in memory management, foreign functions (for interfacing with other languages), multiprocessing, UNICODE and locale support, XML/HTML parsers, a Web client and server, GTK+ interface (1.2 and 2.0), Java interface, OLE interface (Windows only), profiler, regular expressions, an XML RPC implementation, native Lisp RPC, sockets, DLL and shared library support, and more.

No download Website Updated 03 Dec 2002 Allegro FTPd

Screenshot
Pop 10.91
Vit 1.00

Allegro FTPd is an FTP server for Linux/Solaris written in Allegro Common Lisp. Because it is written in Common Lisp, one class of security issues, related to buffer overflows, has been eliminated.

Download Website Updated 18 Mar 2004 Anaphora

Screenshot
Pop 18.00
Vit 1.00

Anaphora is an anaphoric macro collection for Common Lisp. It includes many new fiends, in addition to old friends like AIF and AWHEN.

Download Website Updated 10 May 2004 Bouquet: a graph generator

Screenshot
Pop 29.19
Vit 1.00

Bouquet is a graph generation package that allows you to register graphs over various Lisp objects and generate graph description files, which can be later visualised using the Tulip package. Tulip clusters and properties are supported.

Download Website Updated 06 Apr 2003 CL-BibTeX

Screenshot
Pop 22.85
Vit 1.76

CL-BibTeX is a replacement for the BibTeX program, written in Common Lisp. The aim is to enable the user to format bibliographic entries using Common Lisp programs, rather than using the stack language of BibTeX style files. A compiler that transforms BibTeX style files into comprehensible Common Lisp programs is included.

Download Website Updated 19 Feb 2006 CL-EMB

Screenshot
Pop 31.51
Vit 3.41

CL-EMB is a library which embeds Common Lisp and special template tags into normal text files. It can be used for dynamically-generated HTML pages.

Download Website Updated 31 Jul 2004 CL-FMOD

Screenshot
Pop 11.62
Vit 59.62

CL-FMOD is a set of Common Lisp bindings to FMOD using UFFI.

Download Website Updated 18 Nov 2002 CL-FTP

Screenshot
Pop 32.92
Vit 1.42

CL-FTP is a library that provides FTP client functionality to Common Lisp programs.

No download Website Updated 26 Aug 2003 CL-GD

Screenshot
Pop 26.53
Vit 62.41

CL-GD is a library for Common Lisp which provides an interface to the GD Graphics Library for the dynamic creation of images. It is based on UFFI and should thus be portable to all CL implementations supported by UFFI.

Screenshot

Project Spotlight

H2 Database Engine

A Java SQL database engine.

Screenshot

Project Spotlight

Surf Canyon for Firefox

A plugin to find things faster on Google, Yahoo!, and MSN.