RSS 15 projects tagged "Linux"

Download Website Updated 06 Jul 2012 librep

Screenshot
Pop 122.31
Vit 9.42

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 151.09
Vit 16.48

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.86
Vit 3.94

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 119.75
Vit 8.80

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 09 Jan 2003 XSLT-process

Screenshot
Pop 42.78
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.74
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 28 Aug 2005 Jabberwocky

Screenshot
Pop 128.83
Vit 10.29

Jabberwocky is a Lisp IDE containing a Lisp-aware editor with syntax highlighting, parentheses matching, a source analyzer, indentation, a source level debugger, a project explorer, and an interaction buffer. It is the replacement for the Lisp Debug project.

Download Website Updated 10 Jul 2002 The bintrans Dynamic Binary Translator

Screenshot
Pop 30.98
Vit 1.00

The bintrans Dynamic Binary Translator is a dynamic binary translator which runs programs on architectures they were not compiled for. It does this by dynamically translating the machine code of the programs to be run to machine code for the native architecture. It currently translates from i386 to PowerPC and from PowerPC to Alpha.

Download Website Updated 10 Jun 2003 Charlemagne

Screenshot
Pop 19.36
Vit 1.44

Charlemagne is a versatile genetic programming application. It includes a commandline client and an interactive console mode. It is written in Python and Lisp, and is user extensible to some degree in both languages. It features built-in input-output mapping support and provides the ability to define complex fitness calculations in Lisp or Python.

No download Website Updated 06 Jun 2003 Nyquist

Screenshot
Pop 41.35
Vit 1.00

Nyquist is an elegant and powerful language for sound synthesis and music composition. Unlike score languages that tend to deal only with events, or signal processing languages that tend to deal only with signals and synthesis, it handles both in a single integrated system. It is also flexible and easy to use because it is based on an interactive Lisp interpreter. You can design instruments by combining functions (much as you would using the orchestra languages of Music V, cmusic, or Csound). You can call upon these instruments and generate a sound just by typing a simple expression. You can combine simple expressions into complex ones to create a whole composition. It runs under any Unix environment, MacOS, Windows 95, and Windows NT, and it produces sound files as output (or direct audio output under Windows).

Screenshot

Project Spotlight

gpgpwd

A commandline password manager based around GnuPG.

Screenshot

Project Spotlight

Profanity

A ncurses-based Jabber client.