8 projects tagged "Common Lisp"
Updated 10 Oct 2009
Spartns
| Pop | 39.24 |
|---|---|
| Vit | 6.16 |
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.
Updated 17 Apr 2005
Fract
| Pop | 39.69 |
|---|---|
| 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.
Updated 11 Apr 2011
ACL2
| Pop | 82.46 |
|---|---|
| Vit | 5.57 |
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 10 May 2004
Bouquet: a graph generator
| Pop | 33.94 |
|---|---|
| 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 22 Aug 2004
avsomat
| Pop | 52.69 |
|---|---|
| Vit | 3.38 |
Avsomat is a variable star astronomy framework. It supports the automating of observation scheduling, identification and photometry of variable stars on CCD images, reporting, management, and verification of results. It uses electronic charts of the variable star fields and maintains a view of the current results in the form of a collection of interlinked Web pages with feedback forms, allowing members of the observer community to participate in locating errors.
Updated 10 Jun 2003
Charlemagne
| Pop | 21.77 |
|---|---|
| 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.
Updated 04 Sep 2002
Allegro Common Lisp
| Pop | 40.20 |
|---|---|
| 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 07 Jul 2010
GNU CLISP
| Pop | 385.23 |
|---|---|
| Vit | 12.81 |
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.
