RSS 3 projects tagged "Mac OS X"

Download Website Updated 06 Jul 2012 librep

Screenshot
Pop 120.98
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 65.82
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 06 Jul 2012 rep-gtk

Screenshot
Pop 120.93
Vit 8.77

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.

Screenshot

Project Spotlight

Smooth Build

A powerful build tool with a simple language.

Screenshot

Project Spotlight

MASTIFF

A static analysis automation framework.