Editor for Petri nets
Bit level lambda continuations and nothing else - Queue automata
Real time monitoring : RPi-Monitor always keep an eye on your computer
MAN in Taiwan, MiT
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Puzzle game demonstrating whats so hard about binary integer factoring
High quality fast "true random" number generator (shuffling) for JS
A Java Framework for Simulating Information Theory Concepts
CryptoDock is a tool that hosts various crypto. algorithms.
Gamma Spectrometry using DSO 201 Nano hardware
Simulate Botnet NetFlow traffic for research analysis
Compares botnet detection methods
Automated reporting of Geiger Muller counter readings to RadMon.org
Fixed-length Arithmetic-types library
Software de controle deBraço Robotico em Linux
DOMjudge is an automated judge system for programming contests.
NetStress is a DDoS and network stress testing tool.
Network security simulator