EasyBMP-OCaml is an Objective Caml interface to the EasyBMP library (http://easybmp.sourceforge.net/).
CT8K is an experimental quantum chemistry program intended to bring state of the art methods to the desktop PC
Database File System; Actually do not think of it as a file system, instead think of it as a document system. And while being precise, it is not database system either, it is a faceted system, It helps to organizes your information nicely.
The Virtual Laboratory for Earth and Planetary Materials (VLab) collaborative GRID-based environment. Concentrating on scientific computation workflows and auto-generation of visualization services. http://vlab.msi.umn.edu
CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.