5 projects tagged "Windows"
Updated 24 May 2005
Superior Lisp Interaction Mode for Emacs
| Pop | 74.40 |
|---|---|
| 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.
Updated 28 Aug 2005
Jabberwocky
| Pop | 135.98 |
|---|---|
| Vit | 10.46 |
Jabberwocky is a Lisp IDE containing a Lisp-aware editor with syntax highlighting, parentheses matching, a source analyzer, indentation, a source level debugger, a project explorer, and an interaction buffer. It is the replacement for the Lisp Debug project.
Updated 09 Jan 2003
XSLT-process
| Pop | 51.28 |
|---|---|
| Vit | 2.90 |
XSLT-process is a minor mode for (X)Emacs that allows you to run a Java XSLT processor on a buffer and display the result in another buffer, or in a browser. You can also run the XSLT processor in debugging mode, setup breakpoints, run step by step, view local and global XSLT variables, and many more.
Updated 28 Apr 2011
Proof General
| Pop | 53.22 |
|---|---|
| Vit | 4.59 |
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.
Updated 15 Jan 2002
The Insidious Big Brother Database
| Pop | 177.51 |
|---|---|
| Vit | 2.00 |
The Insidious Big Brother Database (BBDB) is a contact management utility for use with GNU Emacs and XEmacs. It can hook into Emacs-based mail- and news-readers and automatically collect information on messages therein.
