RSS 20 projects tagged "GPL"

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.

Download Website Updated 06 Apr 2003 CL-BibTeX

Screenshot
Pop 23.37
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 08 Dec 2012 CLFSWM

Screenshot
Pop 59.75
Vit 9.17

CLFSWM (Common Lisp FullScreen Window Manager) is an X11 window manager where windows are almost always fullscreen maximized or tiled. It can be driven using the keyboard alone or with the mouse.

Download Website Updated 04 Aug 2012 Cedilla

Screenshot
Pop 40.06
Vit 3.31

Cedilla is a best-effort text printer. It will make heroic efforts to find or construct a suitable glyph for an exotic character even when no suitable fonts are installed on the system.

Download Website Updated 10 Jun 2003 Charlemagne

Screenshot
Pop 19.36
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 10 Sep 2003 Etiquette

Screenshot
Pop 26.93
Vit 1.00

Etiquette is an interaction protocol construction toolkit. The project's goal is to build a framework for rapid design of network communication code. Etiquette interaction protocols are intended to describe valid communication processes that can occur in networked applications, along with error-handling code. Etiquette provides protocol tracing and single-stepping support.

Download Website Updated 17 Apr 2005 Fract

Screenshot
Pop 42.78
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 07 Jul 2010 GNU CLISP

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

No download Website Updated 10 Apr 2003 GRT Raytracer

Screenshot
Pop 23.13
Vit 1.00

GRT is a Common Lisp raytracing system. It is being developed on CMUCL, but should be easy to port to other Common Lisp implementations as well.

Download Website Updated 31 Aug 2004 Higher Order CVS

Screenshot
Pop 10.49
Vit 59.30

HO-CVS is a version control system based on MetaCVS. In addition to the features of MetaCVS, it features module level versioning, the ability to reference every version (since there is a tag after every commit, which is extremely useful but slow), complex versions like #v1.2.3 designed to carry information about the change, operation hooks, and a somewhat powerful log command.

Screenshot

Project Spotlight

Collax Business Server

An all-in-one Linux server for small- and medium-sized businesses.

Screenshot

Project Spotlight

LIMA-CALLAO

An enterprise accounting software.