proof verifier for mathematical proofs and documentation generator
clustering, machine learning, algorithms
A simple Sudoku game
Full featured open source BRM/BPM/CMS stack
A tool for discovering external dependencies in Office files.
Extract Helium (formely Carbon) backups
small tool for copy&paste std out within terminal
BPLB is a developing programming language.
command line sort utility
A C++ based tool for managing an investment portfolio.
Audi, Advent VC2
change simple query to relation algebra
XSLT and XML unit testing framework
A Java-based dungeon escape game.
A toolkit for some Android sms/call Apps, base64 encoder, vcf parser a