89 projects tagged "Lisp"
Updated 15 Jan 2002
The Insidious Big Brother Database
| Pop | 175.56 |
|---|---|
| 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 | 413.61 |
|---|---|
| Vit | 12.94 |
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.16 |
|---|---|
| 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 | 113.21 |
|---|---|
| Vit | 12.99 |
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 | 47.03 |
|---|---|
| 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 07 Apr 2005
OBJ3
| Pop | 34.94 |
|---|---|
| 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.72 |
|---|---|
| Vit | 4.57 |
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.18 |
|---|---|
| Vit | 12.11 |
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.64 |
|---|---|
| Vit | 3.40 |
sawfish.el is a GNU Emacs programming mode for editing sawfish lisp code.
Updated 11 Jun 2003
series
| Pop | 36.33 |
|---|---|
| Vit | 2.00 |
A series is a data structure much like a sequence, with similar kinds of operations. The difference is that in many situations, operations on series may be composed functionally and yet execute iteratively, without the need to construct intermediate series values explicitly. In this manner, series provide both the clarity of a functional programming style and the efficiency of an iterative programming style. Series is the culmination of many years of design and use of this approach, during which some 100,000 lines of application code have been written (by about half a dozen people over the course of seven years) using the series facility in nearly all iteration situations. This includes one large system (KBEmacs) of over 40,000 lines of code. In a nutshell: Think "Efficient MAPCAR". SERIES translates functional-style expressions into efficient loops.
