RSS 12 projects tagged "Linux"

Download Website Updated 07 Aug 2012 Steel Bank Common Lisp

Screenshot
Pop 230.64
Vit 26.28

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.

Download Website Updated 12 Mar 2011 Lush

Screenshot
Pop 147.68
Vit 6.20

Lush is a Lisp dialect with extensions for object-oriented and array-oriented programming. It is intended as a programming environment for prototyping numerically intensive applications. Unlike alternatives like Python or SciLab, Lush is designed for easy integration of existing C/C++/Fortran codes.

Download Website Updated 06 Jul 2012 librep

Screenshot
Pop 114.47
Vit 13.01

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

Screenshot
Pop 92.79
Vit 12.15

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 28 Apr 2011 Proof General

Screenshot
Pop 53.67
Vit 4.58

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.

No download Website Updated 06 Jun 2003 Nyquist

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

Screenshot
Pop 44.89
Vit 2.11

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

Download Website Updated 04 Sep 2002 Allegro Common Lisp

Screenshot
Pop 42.00
Vit 1.00

Allegro Common Lisp is a full ANSI Common Lisp (1994) implementation. It contains many extensions, including 32- and 64-bit native compilation, efficient built-in memory management, foreign functions (for interfacing with other languages), multiprocessing, UNICODE and locale support, XML/HTML parsers, a Web client and server, GTK+ interface (1.2 and 2.0), Java interface, OLE interface (Windows only), profiler, regular expressions, an XML RPC implementation, native Lisp RPC, sockets, DLL and shared library support, and more.

Download Website Updated 04 Mar 2003 RScheme

Screenshot
Pop 39.34
Vit 1.00

RScheme is an object-oriented, extended Scheme implementation with a compiler that targets C or (RScheme's own) bytecodes. It has features expected from a modern language: an object system, reflection, modules, namespaces, safe macros, threads, a system call interface (including sockets), separate compilation, and persistence, as well as the formal basis and power of the Scheme programming language. RScheme also features a powerful, elegant foreign code interface.

Download No website Updated 29 Apr 2012 LIME

Screenshot
Pop 32.62
Vit 2.02

LIME is a dynamic programming language with a LISP-like syntax. It features partial function application, eager and lazy evaluation, call-by-value and call-by-reference, macros, reading/writing LIME code as data, a standard library including infinite streams, and an interactive mode with auto-indentation.

Screenshot

Project Spotlight

Minerva

A home automation suite.

Screenshot

Project Spotlight

Horde Application Framework

A PHP application framework.