RSS 16 projects tagged "OS Independent"

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.19
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 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 23.11
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 31 Jul 2004 CL-FMOD

Screenshot
Pop 11.75
Vit 59.61

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

Download Website Updated 18 Nov 2002 CL-FTP

Screenshot
Pop 32.98
Vit 1.42

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

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.

No download Website Updated 11 Oct 2011 Common Lisp Quick Reference

Screenshot
Pop 36.50
Vit 46.33

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.

Download Website Updated 07 Jul 2010 GNU CLISP

Screenshot
Pop 456.29
Vit 11.62

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.02
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 May 2005 IPA-CXS/X-Sampa Converter

Screenshot
Pop 39.75
Vit 1.42

IPA-CXS/X-Sampa Converter is a selection of modules for various programming languages (C, Perl, Lisp, and Python) for translating between IPA (International Phonetic Alphabet) and ASCII versions, in particular CXS, which is a close relative to X-Sampa. The project homepage contains a demo for using the Perl script as an online converter.

Screenshot

Project Spotlight

Transmageddon

A video conversion tool.

Screenshot

Project Spotlight

TreeFrog Framework

A high-speed and full-stack C++ framework for Web applications.