An HDL alternative to PCB graphical schematic capture tools.
proof verifier for mathematical proofs and documentation generator
Hand Written Equation Creator
Web-based editor for the Gateway Description Language (GDL).
C++ Airline Travel Solution Provider
FASTQ compression
Practical Implementation of a Control Data Profile for RTP
Utility classes from maps to search engine to random samplers