A Distributed RESTful Search Engine
Data visualization analysis tool
Enigma Encryption Simulator in Java
System safety, dependability and security analysis
a free cross platform checksum utility, supports 58+ hash algorithms
Quantum universal object system with referencing and genetics
Modular Polynom manipulation in Java
A national virtual bridge engineering contest for kids of all ages.
Math Expression Parser 4 Java
Generates Latin squares and counts their transversals
Petri net framework for security related modeling and reasoning.
Converting IBM SPSS files to CDISC ODM
Java Library for workflow handling
Editor for Petri nets
Bit level lambda continuations and nothing else - Queue automata
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
A Java Framework for Simulating Information Theory Concepts
CryptoDock is a tool that hosts various crypto. algorithms.
Network security simulator
Laboratory Information Management System with Complete Lab. Automation