RSS 7 projects tagged "Mac OS X"

Download Website Updated 12 Mar 2011 Lush

Screenshot
Pop 127.21
Vit 5.43

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 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 No website Updated 03 Jul 2002 Fastcm

Screenshot
Pop 9.80
Vit 1.00

Fastcm is a simple Web content management system. It allows the same content to be shared throughout an entire site or several different sites. It is an individual tool for a Webmaster rather than a collaborative system. Fastcm content typically consists of HTML fragments which are meant to be assembled.

Download Website Updated 07 Aug 2012 Steel Bank Common Lisp

Screenshot
Pop 183.17
Vit 18.52

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

Screenshot
Pop 120.88
Vit 8.78

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 06 Jul 2012 librep

Screenshot
Pop 121.33
Vit 9.40

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

Screenshot

Project Spotlight

GlusterFS

A poly-protocol, unified distributed filesystem.

Screenshot

Project Spotlight

lnav

A log file navigator.