RSS 13 projects tagged "Mac OS X"

Download Website Updated 01 Mar 2013 Retro

Screenshot
Pop 300.22
Vit 31.20

Retro is a clean, minimalist language with roots in Forth. It supports all major OSes in use today, and was designed to be easy to learn, use, and modify for specific needs.

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.

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.19
Vit 4.96

ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.

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

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

No download Website Updated 09 May 2004 OpenMCL

Screenshot
Pop 65.70
Vit 4.37

OpenMCL is an Open Source version of Digitool's excellent Macintosh Common Lisp (MCL) implementation, which runs on LinuxPPC and MacOS X. It features a native code compiler, multithreading support, and good ANSI CL compliance.

Download Website Updated 24 Oct 2013 STMX

Screenshot
Pop 56.99
Vit 2.76

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 03 Nov 2003 CL-SDL

Screenshot
Pop 47.92
Vit 2.33

CL-SDL is a library of foreign function interfaces to SDL and OpenGL for Common Lisp programs. It aims to be extremely portable, fast, and flexible.

No download Website Updated 09 May 2005 UnCommon Web

Screenshot
Pop 45.61
Vit 3.51

UnCommon Web is a Web application framework. UnCommon Web features a component based UI construction toolkit, template and programmatic dynamic HTML generation engines, and linear (also known as modal or continuation) page flow control. UnCommon Web can sit behind Apache or a pure Lisp Web server.

Download Website Updated 04 Sep 2002 Allegro Common Lisp

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

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

Screenshot

Project Spotlight

isl

A library for manipulating sets and relations of integer points bounded by linear constraints.

Screenshot

Project Spotlight

[simple | small | shell] web server

A small Web server written in /bin/sh.