13 projects tagged "Mac OS X"
Updated 01 Mar 2013
Retro
| Pop | 294.86 |
|---|---|
| Vit | 58.73 |
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 | 228.48 |
|---|---|
| Vit | 25.12 |
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 30 Oct 2012
QueryFS
| Pop | 20.00 |
|---|---|
| Vit | 15.23 |
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 11 Apr 2011
ACL2
| Pop | 82.46 |
|---|---|
| Vit | 5.57 |
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 09 May 2004
OpenMCL
| Pop | 73.27 |
|---|---|
| Vit | 4.41 |
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 17 Jun 2013
STMX
| Pop | 126.93 |
|---|---|
| Vit | 3.79 |
STMX is a high-performance Common Lisp library for composable Software Transactional Memory (STM), 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.
Updated 09 May 2005
UnCommon Web
| Pop | 42.31 |
|---|---|
| Vit | 3.53 |
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.
Updated 31 Jan 2009
Ready Lisp
| Pop | 32.50 |
|---|---|
| Vit | 2.77 |
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 05 Feb 2007
cl-wav-synth
| Pop | 29.05 |
|---|---|
| Vit | 2.74 |
cl-wav-synth is a WAV sample editor. It comes in two parts: the main library for manipulating WAV files, and an (Mc)CLIM interface with a full LISP listener, a sample pane editor, a spectrum pane editor, and a song pane editor.
Updated 03 Nov 2003
CL-SDL
| Pop | 51.03 |
|---|---|
| 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.
