71 projects tagged "Common Lisp"
Updated 11 Apr 2011
ACL2
| Pop | 88.45 |
|---|---|
| Vit | 5.65 |
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.
Updated 04 Sep 2002
Allegro Common Lisp
| Pop | 42.38 |
|---|---|
| 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.
Updated 03 Dec 2002
Allegro FTPd
| Pop | 12.85 |
|---|---|
| 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.
Updated 18 Mar 2004
Anaphora
| Pop | 14.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.
Updated 10 May 2004
Bouquet: a graph generator
| Pop | 34.12 |
|---|---|
| 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.
Updated 06 Apr 2003
CL-BibTeX
| Pop | 25.63 |
|---|---|
| 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.
Updated 19 Feb 2006
CL-EMB
| Pop | 30.89 |
|---|---|
| Vit | 3.44 |
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.
Updated 31 Jul 2004
CL-FMOD
| Pop | 13.38 |
|---|---|
| Vit | 56.68 |
CL-FMOD is a set of Common Lisp bindings to FMOD using UFFI.
Updated 18 Nov 2002
CL-FTP
| Pop | 40.00 |
|---|---|
| Vit | 1.42 |
CL-FTP is a library that provides FTP client functionality to Common Lisp programs.
Updated 26 Aug 2003
CL-GD
| Pop | 28.35 |
|---|---|
| Vit | 59.60 |
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.
