RSS 82 projects tagged "Lisp"

Download Website Updated 15 Jan 2002 The Insidious Big Brother Database

Screenshot
Pop 179.33
Vit 1.98

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.

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

Screenshot
Pop 61.68
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 02 Apr 2005 lispreader

Screenshot
Pop 62.72
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 Website Updated 07 Apr 2005 OBJ3

Screenshot
Pop 47.53
Vit 2.47

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.

Download Website Updated 28 Apr 2011 Proof General

Screenshot
Pop 66.45
Vit 3.93

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 30 Jan 2001 sawfish.el

Screenshot
Pop 35.47
Vit 3.39

sawfish.el is a GNU Emacs programming mode for editing sawfish lisp code.

No download Website Updated 11 Jun 2003 series

Screenshot
Pop 30.85
Vit 1.97

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.

Download Website Updated 31 May 2004 Stochastic Orpheus

Screenshot
Pop 10.95
Vit 2.33

Stochastic Orpheus is lisp code that generates sentences according to English grammar. It also outputs HTML as a CGI script (using GCL).

Download Website Updated 09 Jan 2003 XSLT-process

Screenshot
Pop 42.90
Vit 2.88

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.

No download Website Updated 03 May 2001 Persistent LISP objects

Screenshot
Pop 26.36
Vit 68.80

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).

Screenshot

Project Spotlight

cwwav

A program to generate Morse code sound files from text.

Screenshot

Project Spotlight

Tcl/Tk

A portable scripting environment for Unix, Windows, and Macintosh.