SigPack - A signal processing library using Armadillo
Heterogeneous Software Development Accelerated
Interval Calculator for Engineer
Belief Revision via PS-Merge under constraints belief merging operator
Puzzle game demonstrating whats so hard about binary integer factoring
Calculator that takes care of measurement units.
proof verifier for mathematical proofs and documentation generator
Fixed-length Arithmetic-types library
ATMSP - A Tiny Mathematical Speed Parser