41 projects tagged "Linux"
Updated 06 Jul 2012
librep
| Pop | 109.16 |
|---|---|
| Vit | 12.52 |
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 25 Feb 2013
GNU MIX Development Kit
| Pop | 165.79 |
|---|---|
| Vit | 30.65 |
MDK (MIX Development Kit) provides tools for developing and executing, in a MIX virtual machine, MIXAL programs. The MIX is Donald Knuth's mythical computer, described in the first volume of The Art of Computer Programming, which is programmed using MIXAL, the MIX assembly language. MDK includes a MIXAL assembler (mixasm), a MIX virtual machine (mixvm) with a command line interface, a Guile-based virtual machine (mixguile), a GTK+ based GUI (gmixvm), and a mixvm-Emacs interface (mixvm.el). MDK utilities are extensible using Scheme.
Updated 07 Apr 2005
OBJ3
| Pop | 35.62 |
|---|---|
| Vit | 2.51 |
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 | 54.33 |
|---|---|
| Vit | 4.51 |
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 | 88.39 |
|---|---|
| Vit | 11.68 |
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 | 51.87 |
|---|---|
| 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 | 62.12 |
|---|---|
| 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 | 28.28 |
|---|---|
| Vit | 66.55 |
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 07 Aug 2012
Steel Bank Common Lisp
| Pop | 228.07 |
|---|---|
| Vit | 25.16 |
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.
Updated 25 Sep 2001
Gamma
| Pop | 26.31 |
|---|---|
| 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.
