Arbitrary-precision CRC calculator and algorithm finder
a space-time interpolation geostatistical tool
Package for solving PDE systems numerically
Editor for Petri nets
Bit level lambda continuations and nothing else - Queue automata
Puzzle game demonstrating whats so hard about binary integer factoring
Software for exact computing based on interval arithmetic.
A finite element solver using state-of-the-art programming techniques.