37 projects tagged "Linux"
Updated 06 Jul 2012
librep
| Pop | 114.47 |
|---|---|
| Vit | 13.01 |
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.
Updated 07 Apr 2005
OBJ3
| Pop | 34.86 |
|---|---|
| Vit | 2.52 |
OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.
Updated 28 Apr 2011
Proof General
| Pop | 53.78 |
|---|---|
| Vit | 4.58 |
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 06 Jul 2012
rep-gtk
| Pop | 92.64 |
|---|---|
| Vit | 12.13 |
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.
Updated 09 Jan 2003
XSLT-process
| Pop | 50.30 |
|---|---|
| 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 11 Feb 2002
Copter Commander
| Pop | 65.06 |
|---|---|
| Vit | 1.80 |
A unique blend of arcade action and real time strategy, Copter Commander is fun for novices but surprisingly deep. It supports one to four players via Internet play and is based on the game design of Rescue Raiders/Armor Alley.
Updated 03 May 2001
Persistent LISP objects
| Pop | 27.75 |
|---|---|
| Vit | 66.35 |
PLOB implements persistency for LISP and CLOS objects, including database functionality like transactions, indices and locks. It can act as a classical client/server system (for multiple user access) or a serverless system (for improved performance).
Updated 25 Sep 2001
Gamma
| Pop | 28.50 |
|---|---|
| Vit | 1.41 |
Gamma is a dynamically-typed, object-oriented, interpreted programming language that has been designed and optimized to reduce the time required for building applications. It supports the QNX/Photon and Linux/GTK GUI environments, and has a built-in library of over 300 functions. It cuts development times and offers run-time debugging by wedding a C-like syntax to a Lisp interpreter that has been optimized specifically for performance and memory usage.
Updated 28 Aug 2005
Jabberwocky
| Pop | 134.07 |
|---|---|
| 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 17 Dec 2002
OpenCyc
| Pop | 92.77 |
|---|---|
| Vit | 1.46 |
OpenCyc is the open source version of the Cyc technology, the world's largest and most complete general knowledge base and commonsense reasoning engine. OpenCyc can be used as the basis for a wide variety of intelligent applications.
