Distributed Computing with JavaScript
this lib is just for some test code of my ideas
Scada for Home Automation
Generates random fake names
TuCSoN tuple-based coordination middleware
proof verifier for mathematical proofs and documentation generator
Simple and extensible survey system
A package of science simulation scripts for web browsers.