Interval Calculator for Engineer
Belief Revision via PS-Merge under constraints belief merging operator
A Calculator to perform logical operations
Puzzle game demonstrating whats so hard about binary integer factoring
Calculator that takes care of measurement units.
Fixed-length Arithmetic-types library