5 projects tagged "BSD Original"
Updated 07 Apr 2005
OBJ3
| Pop | 34.94 |
|---|---|
| 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 07 Aug 2012
Steel Bank Common Lisp
| Pop | 229.97 |
|---|---|
| Vit | 26.19 |
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 26 Aug 2002
OO Bench
| Pop | 22.58 |
|---|---|
| Vit | 1.00 |
OO Bench compares the speed of the same object-oriented tasks in several object-oriented languages. C++, Objective-C, and Java are currently supported. Support for Smalltalk, CLOS, CSharp, and Eiffel are in development. It aims to be simple, easy to understand, and easy to port. It also aims to follow the idioms and best practices advised by each language as much as possible. It is designed to make it easy to look up how a particular problem is best solved in another language.
Updated 15 Jan 2003
CL-PDF
| Pop | 30.72 |
|---|---|
| Vit | 61.49 |
A cross-platform Common Lisp library for generating PDF files.
Updated 15 Jan 2003
mod_lisp
| Pop | 22.72 |
|---|---|
| Vit | 61.49 |
mod_lisp talks from Apache to Lisp processes by sockets with a very straightforward protocol to handle a request.
