81 projects tagged "Lisp"
Updated 15 Jan 2002
The Insidious Big Brother Database
| Pop | 174.37 |
|---|---|
| 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 20 Nov 2001
crypt++.el
| Pop | 52.82 |
|---|---|
| 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 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.60 |
|---|---|
| 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.39 |
|---|---|
| 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 30 Jan 2001
sawfish.el
| Pop | 28.35 |
|---|---|
| Vit | 3.40 |
sawfish.el is a GNU Emacs programming mode for editing sawfish lisp code.
Updated 11 Jun 2003
series
| Pop | 36.61 |
|---|---|
| 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.
Updated 31 May 2004
Stochastic Orpheus
| Pop | 12.25 |
|---|---|
| Vit | 2.36 |
Stochastic Orpheus is lisp code that generates sentences according to English grammar. It also outputs HTML as a CGI script (using GCL).
Updated 09 Jan 2003
XSLT-process
| Pop | 50.50 |
|---|---|
| Vit | 2.90 |
XSLT-process is a minor mode for (X)Emacs that allows you to run a Java XSLT processor on a buffer and display the result in another buffer, or in a browser. You can also run the XSLT processor in debugging mode, setup breakpoints, run step by step, view local and global XSLT variables, and many more.
Updated 03 May 2001
Persistent LISP objects
| Pop | 27.39 |
|---|---|
| Vit | 66.37 |
PLOB implements persistency for LISP and CLOS objects, including database functionality like transactions, indices and locks. It can act as a classical client/server system (for multiple user access) or a serverless system (for improved performance).
