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