RSS 38 projects tagged "Linux"

Download Website Updated 06 Jul 2012 librep

Screenshot
Pop 121.12
Vit 9.38

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 148.49
Vit 16.36

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 07 Apr 2005 OBJ3

Screenshot
Pop 46.80
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 65.91
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 121.20
Vit 8.76

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 11 Feb 2002 Copter Commander

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

No download Website Updated 03 May 2001 Persistent LISP objects

Screenshot
Pop 26.74
Vit 68.84

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

Download Website Updated 07 Aug 2012 Steel Bank Common Lisp

Screenshot
Pop 183.83
Vit 18.47

Steel Bank Common Lisp is a development environment for Common Lisp, with excellent support for the ANSI standard: garbage collection, lexical closures, powerful macros, strong dynamic typing, incremental compilation, and the famous Common Lisp Object System (multimethods and all). It also includes many extensions, such as native threads, socket support, a statistical profiler, programmable streams, and more. These are all available through an integrated, interactive native compiler which feels like an interpreter. SBCL is unique in being a multiplatform native compiler which bootstraps itself completely from source, using a C compiler and any other ANSI Common Lisp implementation.

No download Website Updated 25 Sep 2001 Gamma

Screenshot
Pop 22.98
Vit 1.41

Gamma is a dynamically-typed, object-oriented, interpreted programming language that has been designed and optimized to reduce the time required for building applications. It supports the QNX/Photon and Linux/GTK GUI environments, and has a built-in library of over 300 functions. It cuts development times and offers run-time debugging by wedding a C-like syntax to a Lisp interpreter that has been optimized specifically for performance and memory usage.

Download Website Updated 28 Aug 2005 Jabberwocky

Screenshot
Pop 127.83
Vit 10.28

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.

Screenshot

Project Spotlight

Kobold's Quest 1

An RPG wizard adventuring game.

Screenshot

Project Spotlight

RosarioSIS

A Student Information System.