RSS 17 projects tagged "Windows"

Download No website Updated 23 Jan 2014 LISPF4

Screenshot
Pop 40.24
Vit 9.08

LISPF4 is an InterLisp interpreter written in FORTRAN in the early 1980s. This version has been converted to C and given the ability to have commandline determination of the memory size.

Download Website Updated 24 Oct 2013 STMX

Screenshot
Pop 57.93
Vit 2.78

STMX is a high-performance Common Lisp library for composable Transactional Memory (TM), a concurrency control mechanism aimed at making concurrent programming easier to write and understand. Instead of traditional lock-based programming, one programs with atomic memory transactions: if a memory transaction returns normally it is committed. If it signals an error, it is rolled back. Transactions can safely run in parallel in different threads, are re-executed from the beginning in case of conflicts or if consistent reads cannot be guaranteed, and effects of a transaction are not visible from other threads until committed. This gives freedom from deadlocks, automatic rollback on failure, and aims to resolve the tension between granularity and concurrency.

No download Website Updated 30 Jul 2013 Kiezellisp

Screenshot
Pop 21.07
Vit 16.11

Kiezellisp is a Lisp interpreter/compiler written in C#. It utilizes the Dynamic Language Runtime and combines a prototype object model with generic functions/multimethods.

Download Website Updated 28 Apr 2011 Proof General

Screenshot
Pop 67.39
Vit 3.94

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 25 Jul 2010 Menace of the Mines

Screenshot
Pop 39.18
Vit 2.09

Menace of the Mines is a fast-paced roguelike game that has tons of monsters, many different classes and races, and a unique magic system (well, that's the goal).

Download Website Updated 07 Jul 2010 GNU CLISP

Screenshot
Pop 460.33
Vit 11.64

GNU CLISP is an ANSI Common Lisp implementation with an interpreter, compiler, debugger, object system (CLOS, MOP), sockets, fast bignums, arbitrary precision floats, and a foreign language interface that runs on most Unix variants and Win32.

Download Website Updated 28 Aug 2005 Jabberwocky

Screenshot
Pop 129.00
Vit 10.29

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

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

Download Website Updated 31 Jul 2004 CL-FMOD

Screenshot
Pop 11.96
Vit 59.54

CL-FMOD is a set of Common Lisp bindings to FMOD using UFFI.

Download Website Updated 19 Jan 2004 BMDFM

Screenshot
Pop 26.61
Vit 61.16

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.

Screenshot

Project Spotlight

pstoedit

A converter from Postscript(TM) and PDF to other vector graphic formats.

Screenshot

Project Spotlight

WavePacket (C++ version)

A library to solve the Schroedinger equation numerically.