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.
SpeedReader helps you improve your reading speed. It is simple, interesting, challenging, and fun to play with. From a developer's point of view, it is extensible (Plugins), and as simple as possible (but no simpler). Functionality is only added if it improves the above stated goals.
Esra is a scriptable, scalable, and highly hackable molecular mechanics library for Java. Its primary purpose is the statistical analysis of trajectory data generated with packages such as GROMOS, GROMACS, or AMBER, but it can also be used as a standalone package for performing simple molecular dynamics and Monte-Carlo simulations. It can be scripted with Jython, Mathematica, or Matlab.
OpenCards is flashcard learning software. The basic idea of OpenCards is to use PowerPoint presentations (*.ppt) as flashcard sets. Slide titles are considered questions and the slide contents their answers. Based on state-of-the-art memorization and scheduling algorithms, OpenCards will help you learn any set of flashcards.