12 projects tagged "Mac OS X"
Updated 11 Apr 2011
ACL2
| Pop | 86.35 |
|---|---|
| Vit | 5.64 |
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.
Updated 04 Sep 2002
Allegro Common Lisp
| Pop | 42.14 |
|---|---|
| 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.
Updated 03 Nov 2003
CL-SDL
| Pop | 53.11 |
|---|---|
| Vit | 2.34 |
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.
Updated 25 Jul 2010
Menace of the Mines
| Pop | 44.55 |
|---|---|
| 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).
Updated 09 May 2004
OpenMCL
| Pop | 74.68 |
|---|---|
| Vit | 4.42 |
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.
Updated 30 Oct 2012
QueryFS
| Pop | 19.42 |
|---|---|
| Vit | 14.31 |
QueryFS is a FUSE-based virtual filesystem that is based on queries. There are plugins to parse various query syntaxes and each query creates a virtual directory. Currently the most elaborate query language is SQL-based; you can either provide access to data stored in an SQL database, or keep an index of files in the SQL database and generate search directories with symlinks to found files. QueryFS and its SQL2 query DSL fully support creation of refinable searches: for example, the author has an index of downloaded email files; one can see all the distinct senders registered in the DB and then go into a directory of one sender and see all accounts that ever received an email from this sender.
Updated 31 Jan 2009
Ready Lisp
| Pop | 32.73 |
|---|---|
| Vit | 2.78 |
Ready Lisp packages an ANSI Common Lisp environment for Mac OS X users as a single application bundle. It repackages and configures the following components: Aquamacs Emacs, SBCL Common Lisp, the SLIME Lisp IDE, and more.
Updated 01 Mar 2013
Retro
| Pop | 415.67 |
|---|---|
| Vit | 67.45 |
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.
Updated 07 Aug 2012
Steel Bank Common Lisp
| Pop | 229.97 |
|---|---|
| Vit | 26.19 |
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.
Updated 24 May 2005
Superior Lisp Interaction Mode for Emacs
| Pop | 73.69 |
|---|---|
| Vit | 1.47 |
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.
