RSS 15 projects tagged "Linux"

Download Website Updated 10 Jun 2003 Charlemagne

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

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 25 Feb 2013 GNU MIX Development Kit

Screenshot
Pop 152.37
Vit 16.50

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 10 May 2010 InteLib

Screenshot
Pop 94.07
Vit 8.33

InteLib is a library of C++ classes that lets you do Lisp/Scheme programming within your C++ programs, even without any additional preprocessing, without all those calling conventions. You can write code that is accepted by a C++ compiler while thinking in a "Lisp/Scheme mode", and the code you write will look much like Lisp/Scheme code, although it will be pure C++.

Download Website Updated 22 Oct 2012 Invenio

Screenshot
Pop 76.99
Vit 7.81

Invenio (formerly CDSware) is a suite of applications that provides the framework and tools for building and managing an autonomous digital library server. It complies with the Open Archives Initiative metadata harvesting protocol (OAI-PMH) and uses MARC 21 as its underlying bibliographic standard. Its flexibility and performance make it a comprehensive solution for the management of document repositories of moderate to large size.

Download Website Updated 28 Aug 2005 Jabberwocky

Screenshot
Pop 129.00
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 25 Jul 2010 Menace of the Mines

Screenshot
Pop 39.18
Vit 2.09

Menace of the Mines is a fast-paced roguelike game that has tons of monsters, many different classes and races, and a unique magic system (well, that's the goal).

No download Website Updated 06 Jun 2003 Nyquist

Screenshot
Pop 41.23
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).

Download Website Updated 28 Apr 2011 Proof General

Screenshot
Pop 67.39
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 10 Jul 2002 The bintrans Dynamic Binary Translator

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

Screenshot

Project Spotlight

Granite Data Services

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

Screenshot

Project Spotlight

Java Print Dialog Framework

A comprehensive printing solution for Java applications.