RSS 2 projects tagged "Mac OS X"

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 24 May 2005 Superior Lisp Interaction Mode for Emacs

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

Screenshot

Project Spotlight

PeaZip

A file and archive manager supporting 150+ archive formats.

Screenshot

Project Spotlight

coreBOS

A business empowering tool and adaptable software program.