RSS 23 projects tagged "Linux"

No download Website Updated 03 May 2001 Persistent LISP objects

Screenshot
Pop 26.74
Vit 68.84

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).

No download Website Updated 06 May 2003 The Regex Coach

Screenshot
Pop 50.20
Vit 63.29

The Regex Coach is a graphical application for Linux and Windows which can be used to experiment with (Perl-compatible) regular expressions interactively. It shows whether a regular expression matches a particular target string, and can also show which parts of the target string correspond to captured register groups or to arbitrary parts of the regular expression. It can "walk" through the target string one match at a time and simulate Perl's split and s/// (substitution) operators. It tries to describe the regular expression in plain English. It can show a graphical representation of the regular expression's parse tree. It can single-step through the matching process as performed by the regex engine. Everything happens in "real time" (i.e., as soon as you make a change somewhere in the application all other parts are instantly updated).

Download Website Updated 19 Jan 2004 BMDFM

Screenshot
Pop 24.82
Vit 61.22

BMDFM allows one to run an application in parallel on shared memory multiprocessor (SMP) systems. BMDFM automatically identifies and executes all parallelism of unparallelized programs due to the static and mainly dynamic scheduling of the data flow instruction sequences derived from the formerly sequential program. BMDFM's dynamic scheduling subsystem performs an efficient SMP emulation of Tagged-Token DFM to provide the transparent dataflow semantics for the applications. No directives for parallel execution are required. No highly knowledgeable parallel programmers are required.

Download Website Updated 07 Aug 2012 Steel Bank Common Lisp

Screenshot
Pop 183.83
Vit 18.47

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.

Download Website Updated 25 Feb 2013 GNU MIX Development Kit

Screenshot
Pop 148.49
Vit 16.36

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.

Download Website Updated 28 Aug 2005 Jabberwocky

Screenshot
Pop 127.83
Vit 10.28

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.

Download Website Updated 06 Jul 2012 librep

Screenshot
Pop 121.12
Vit 9.38

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 06 Jul 2012 rep-gtk

Screenshot
Pop 121.20
Vit 8.76

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.

Download Website Updated 12 Mar 2011 Lush

Screenshot
Pop 126.98
Vit 5.43

Lush is a Lisp dialect with extensions for object-oriented and array-oriented programming. It is intended as a programming environment for prototyping numerically intensive applications. Unlike alternatives like Python or SciLab, Lush is designed for easy integration of existing C/C++/Fortran codes.

Download Website Updated 28 Apr 2011 Proof General

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

Screenshot

Project Spotlight

Wing IDE

An IDE for Python.

Screenshot

Project Spotlight

Teddy Templating Engine

An easy-to-read, HTML-based, mostly logic-less DOM templating engine.