106 projects tagged "Lisp"
Updated 15 Jan 2002
The Insidious Big Brother Database
| Pop | 174.90 |
|---|---|
| Vit | 2.00 |
The Insidious Big Brother Database (BBDB) is a contact management utility for use with GNU Emacs and XEmacs. It can hook into Emacs-based mail- and news-readers and automatically collect information on messages therein.
Updated 07 Jul 2010
GNU CLISP
| Pop | 414.09 |
|---|---|
| Vit | 12.95 |
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.
Updated 20 Nov 2001
crypt++.el
| Pop | 53.22 |
|---|---|
| Vit | 1.82 |
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.
Updated 06 Jul 2012
librep
| Pop | 114.39 |
|---|---|
| Vit | 13.02 |
Librep is a shared library implementing a Lisp dialect that is lightweight, reasonably fast, and highly extensible. It contains an interpreter, byte-code compiler, and virtual machine. Applications may use the interpreter as an extension language, or it may be used for standalone scripts. Rep was originally inspired by Emacs Lisp. However one of the main deficiencies of elisp--the reliance on dynamic scope--has been removed. Also, rep only has a single namespace for symbols.
Updated 02 Apr 2005
lispreader
| Pop | 46.51 |
|---|---|
| Vit | 2.87 |
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.
Updated 25 Feb 2013
GNU MIX Development Kit
| Pop | 252.80 |
|---|---|
| Vit | 35.23 |
MDK (MIX Development Kit) provides tools for developing and executing, in a MIX virtual machine, MIXAL programs. The MIX is Donald Knuth's mythical computer, described in the first volume of The Art of Computer Programming, which is programmed using MIXAL, the MIX assembly language. MDK includes a MIXAL assembler (mixasm), a MIX virtual machine (mixvm) with a command line interface, a Guile-based virtual machine (mixguile), a GTK+ based GUI (gmixvm), and a mixvm-Emacs interface (mixvm.el). MDK utilities are extensible using Scheme.
Updated 07 Apr 2005
OBJ3
| Pop | 34.99 |
|---|---|
| Vit | 2.52 |
OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.
Updated 28 Apr 2011
Proof General
| Pop | 53.67 |
|---|---|
| Vit | 4.58 |
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.
Updated 06 Jul 2012
rep-gtk
| Pop | 92.79 |
|---|---|
| Vit | 12.15 |
rep-gtk is a language-binding between GTK+/GDK and librep. Basic GLib and ATK bindings are included, too. The bindings for outdated, deprecated libraries (libgnome, libgnomeui, libgnomecanvas, and libglade) have been dropped. In favor of libglade, GTKBuilder is supported.
Updated 30 Jan 2001
sawfish.el
| Pop | 28.57 |
|---|---|
| Vit | 3.40 |
sawfish.el is a GNU Emacs programming mode for editing sawfish lisp code.
