RSS 8 projects tagged "Mac OS X"

Download No website Updated 23 Jan 2014 LISPF4

Screenshot
Pop 40.58
Vit 9.30

LISPF4 is an InterLisp interpreter written in FORTRAN in the early 1980s. This version has been converted to C and given the ability to have commandline determination of the memory size.

Download Website Updated 28 Apr 2011 Proof General

Screenshot
Pop 66.14
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 24 Oct 2013 STMX

Screenshot
Pop 57.34
Vit 2.77

STMX is a high-performance Common Lisp library for composable Transactional Memory (TM), a concurrency control mechanism aimed at making concurrent programming easier to write and understand. Instead of traditional lock-based programming, one programs with atomic memory transactions: if a memory transaction returns normally it is committed. If it signals an error, it is rolled back. Transactions can safely run in parallel in different threads, are re-executed from the beginning in case of conflicts or if consistent reads cannot be guaranteed, and effects of a transaction are not visible from other threads until committed. This gives freedom from deadlocks, automatic rollback on failure, and aims to resolve the tension between granularity and concurrency.

Download Website Updated 25 Jul 2010 Menace of the Mines

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

Download Website Updated 24 May 2005 Superior Lisp Interaction Mode for Emacs

Screenshot
Pop 69.82
Vit 1.46

SLIME is an integrated development environment for Common LISP which does everything you would expect from an IDE: code evaluation, compilation, macro expansion, and auto-completion. It also finds definitions of functions, and marks LISP forms which the compiler finds to be erroneous. It provides easy access to implementation-specific online documentation as well as the ability to look up symbols in the ANSI Common Lisp HyperSpec. Further, it includes an interactive debugger and object inspector.

Download Website Updated 04 Sep 2002 Allegro Common Lisp

Screenshot
Pop 40.74
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 37.39
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.

No download Website Updated 06 Jun 2003 Nyquist

Screenshot
Pop 40.62
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

launch4j

A cross-platform Java application wrapper for creating Windows native executables.

Screenshot

Project Spotlight

The Eventual PlayFramework-AngularJS-Bootstrap-MongoDB Seed Project

A seed project that combines Play Framework, AngularJS, Bootstrap, and MongoDB.