8 projects tagged "Linux"
Updated 25 Jul 2010
Menace of the Mines
| Pop | 44.89 |
|---|---|
| Vit | 2.11 |
Menace of the Mines is a fast-paced roguelike game that has tons of monsters, many different classes and races, and a unique magic system (well, that's the goal).
Updated 08 Jan 2006
R2cl
| Pop | 20.59 |
|---|---|
| Vit | 1.00 |
R2cl is a proof of concept, minimal translator from the R language into Common Lisp, for the purpose of efficient compilation. The execution speed of R code may be improved over 1000 times by using the CMU Common Lisp compiler.
Updated 11 Apr 2011
ACL2
| Pop | 86.07 |
|---|---|
| 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 23 May 2010
The Stump Window Manager
| Pop | 72.50 |
|---|---|
| Vit | 5.08 |
Stumpwm is a tiling, keyboard driven X11 window manager written entirely in Common Lisp. While it is minimalistic in appearance, its full customizability, event hooks, and 100% pure Lisp implementation make it startlingly powerful.
Updated 10 Sep 2003
Etiquette
| Pop | 30.08 |
|---|---|
| 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.
Updated 22 Aug 2004
avsomat
| Pop | 55.50 |
|---|---|
| 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 | 23.43 |
|---|---|
| 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 28 Aug 2005
Jabberwocky
| Pop | 134.55 |
|---|---|
| Vit | 10.46 |
Jabberwocky is a Lisp IDE containing a Lisp-aware editor with syntax highlighting, parentheses matching, a source analyzer, indentation, a source level debugger, a project explorer, and an interaction buffer. It is the replacement for the Lisp Debug project.
