14 projects tagged "Windows"
Updated 11 Apr 2011
ACL2
| Pop | 88.45 |
|---|---|
| Vit | 5.65 |
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
Updated 04 Sep 2002
Allegro Common Lisp
| Pop | 42.38 |
|---|---|
| Vit | 1.00 |
Allegro Common Lisp is a full ANSI Common Lisp (1994) implementation. It contains many extensions, including 32- and 64-bit native compilation, efficient built-in memory management, foreign functions (for interfacing with other languages), multiprocessing, UNICODE and locale support, XML/HTML parsers, a Web client and server, GTK+ interface (1.2 and 2.0), Java interface, OLE interface (Windows only), profiler, regular expressions, an XML RPC implementation, native Lisp RPC, sockets, DLL and shared library support, and more.
Updated 31 Jul 2004
CL-FMOD
| Pop | 13.38 |
|---|---|
| Vit | 56.68 |
CL-FMOD is a set of Common Lisp bindings to FMOD using UFFI.
Updated 03 Nov 2003
CL-SDL
| Pop | 53.05 |
|---|---|
| Vit | 2.34 |
CL-SDL is a library of foreign function interfaces to SDL and OpenGL for Common Lisp programs. It aims to be extremely portable, fast, and flexible.
Updated 19 Mar 2008
ClearLisp
| Pop | 11.22 |
|---|---|
| Vit | 1.00 |
ClearLisp is a Common LISP interpreter written in C# with the purpose of scripting in a .NET or Mono environment. The ClearLisp language supports a large subset of CL and has an object model with generic functions, class and instance methods, properties, and import of existing .NET classes. ClearLisp executes LISP scripts in interactive mode or in Web mode (IIS; XSP or Apache with Mono). Sample ClearLisp code is provided in the form of a personal, file-based wiki Web application.
Updated 10 Jul 2005
Common Lisp SQL
| Pop | 83.34 |
|---|---|
| Vit | 3.47 |
CLSQL is an SQL database interface for Common Lisp. It provides object-oriented and functional access methods to the underlying database, which can be one of MySQL, ODBC, PostgreSQL, or SQLite. It uses the Unified Foreign Function Interface (UFFI) and thus supports the CMU Common Lisp, Steel Bank Common Lisp, and Allegro Common Lisp implementations.
Updated 07 Jul 2010
GNU CLISP
| Pop | 417.66 |
|---|---|
| Vit | 12.97 |
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.
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 25 Jul 2010
Menace of the Mines
| Pop | 45.44 |
|---|---|
| Vit | 2.11 |
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).
Updated 05 Jul 2006
NTW Lisp
| Pop | 19.29 |
|---|---|
| Vit | 1.00 |
NTW Lisp is a server written in Common Lisp for applications that use the NTW protocol to communicate with a GUI client. This asynchronous protocol makes it possible to serve remote applications that are indistinguishable from native ones. It's also useful for quickly writing GUI apps from Common Lisp that can be run locally.
