111 projects tagged "Lisp"

Download Website Updated 28 Apr 2011 Proof General

Screenshot
Pop 61.87
Vit 3.88

Proof General is a generic Emacs interface for proof assistants, suitable for use by pacifists and Emacs militants alike. It is supplied ready-customized for LEGO, Coq, and Isabelle. You can adapt Proof General to other proof assistants if you know a little bit of Emacs Lisp.

Download Website Updated 19 Sep 2004 HumAn Language GENerator

Screenshot
Pop 60.08
Vit 1.51

HALoGEN is an extremely powerful and easy to use general-purpose natural language generation system. It consists of a symbolic generator, a forest ranker, and some sample inputs. The symbolic generator includes the Sensus Ontology dictionary based on WordNet. The forest ranker includes a 250 million word ngram language model (unigram, bigram, and trigram) trained on the Wall Street Journal newspaper text. The symbolic generator is written in LISP and requires a Lisp interpreter.

Download Website Updated 02 Apr 2005 lispreader

Screenshot
Pop 59.04
Vit 2.81

lispreader is a small library for reading expressions in Lisp syntax. It provides a framework for reading configuration files. To simplify interpretation of the read data, lispreader also provides functions for simple matching of expressions against patterns.

Download No website Updated 20 Nov 2001 crypt++.el

Screenshot
Pop 58.43
Vit 1.81

crypt++.el is a package of Lisp functions that recognize automatically encrypted and encoded (i.e., compressed) files when they are first visited or written. The BUFFER corresponding to the file is decoded and/or decrypted before it is presented to the user. The file itself is unchanged on the disk. When the buffer is subsequently saved to disk, a hook function re-encodes the buffer before the actual disk write takes place.

Download Website Updated 14 Jun 2006 Elk

Screenshot
Pop 57.55
Vit 3.07

Elk (the Extension Language Kit) is an implementation of the Scheme programming language. It can be used as a standalone Scheme interpreter, or as an embeddable, reusable extension language subsystem for applications written in C or C++ through the libelk library.

No download Website Updated 19 Feb 2007 ECB

Screenshot
Pop 57.18
Vit 1.67

ECB is a source code browser for (x)emacs. It displays a couple of windows that can be used to browse directories, files, and file contents like methods and variables. It supports source code parsing for languages like Java, C, C++, Elisp, Scheme, Perl, TeX, LaTeX, etc. In addition, it offers an (optional) permanent "compile window" at the bottom of the emacs frame, which is used to display all help and compile output. The rest of the frame is called the "edit area", which can be divided into several edit windows that are used for editing the sources. Deleting some of the edit windows neither destroys the compile window nor the browsing windows. It requires the CEDET suite.

Download Website Updated 11 Feb 2002 Copter Commander

Screenshot
Pop 57.13
Vit 1.80

A unique blend of arcade action and real time strategy, Copter Commander is fun for novices but surprisingly deep. It supports one to four players via Internet play and is based on the game design of Rescue Raiders/Armor Alley.

No download Website Updated 06 May 2003 The Regex Coach

Screenshot
Pop 51.44
Vit 63.57

The Regex Coach is a graphical application for Linux and Windows which can be used to experiment with (Perl-compatible) regular expressions interactively. It shows whether a regular expression matches a particular target string, and can also show which parts of the target string correspond to captured register groups or to arbitrary parts of the regular expression. It can "walk" through the target string one match at a time and simulate Perl's split and s/// (substitution) operators. It tries to describe the regular expression in plain English. It can show a graphical representation of the regular expression's parse tree. It can single-step through the matching process as performed by the regex engine. Everything happens in "real time" (i.e., as soon as you make a change somewhere in the application all other parts are instantly updated).

Download Website Updated 24 Oct 2013 STMX

Screenshot
Pop 49.84
Vit 2.70

STMX is a high-performance Common Lisp library for composable Transactional Memory (TM), a concurrency control mechanism aimed at making concurrent programming easier to write and understand. Instead of traditional lock-based programming, one programs with atomic memory transactions: if a memory transaction returns normally it is committed. If it signals an error, it is rolled back. Transactions can safely run in parallel in different threads, are re-executed from the beginning in case of conflicts or if consistent reads cannot be guaranteed, and effects of a transaction are not visible from other threads until committed. This gives freedom from deadlocks, automatic rollback on failure, and aims to resolve the tension between granularity and concurrency.

Download Website Updated 02 Feb 2011 Subs

Screenshot
Pop 49.80
Vit 3.00

Subs is a Scheme Lisp interpreter written in C++. The implementation is incomplete and naive, but aims to implement enough to be able to run every code sample in Structure and Interpretation of Computer Programs.

Screenshot

Project Spotlight

webon

A Web content management system.

Screenshot

Project Spotlight

Scirius

A Web application for Suricata ruleset management.