proof verifier for mathematical proofs and documentation generator
GHC : Glasgow Haggis Compiler
clustering, machine learning, algorithms
Graphical User Interface for keytool and jarsigner JDK tools
Un pastebin realmente sencillo
A simple Sudoku game
Full featured open source BRM/BPM/CMS stack
Android All In One Toolkit 2.0
jHawk is a small build integration tool.
A tool for discovering external dependencies in Office files.
Extract Helium (formely Carbon) backups
Java code for signing and handling Croatian fiscal service requests
command line sort utility