RSS 85 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 Website Updated 06 Jul 2012 librep

Screenshot
Pop 121.68
Vit 9.41

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.

Download Website Updated 25 Feb 2013 GNU MIX Development Kit

Screenshot
Pop 150.23
Vit 16.45

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.

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 06 Jul 2012 rep-gtk

Screenshot
Pop 120.40
Vit 8.79

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.

Download Website Updated 01 Aug 2004 SLOCCount

Screenshot
Pop 190.65
Vit 5.73

SLOCCount is a suite of programs for counting physical source lines of code (SLOC) in possibly large software systems. It can count physical SLOC for a wide number of languages. It can take a large set of files and automatically categorize their types using a number of different heuristics, and also comes with analysis tools.

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.

Download Website Updated 11 Feb 2002 Copter Commander

Screenshot
Pop 60.32
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.

Download Website Updated 16 Dec 2001 rep-XMMS

Screenshot
Pop 11.53
Vit 2.06

rep-xmms is a module for the rep dialect of Lisp which allows you to control XMMS. Also included is a module for sawfish allowing XMMS to be controlled via keybindings.

Screenshot

Project Spotlight

pride

Poor Richard's Independent anDroid Environment.

Screenshot

Project Spotlight

Granite Data Services

An event-driven, cross-framework, application client container.