Library of Approximate Adders
Mutation Analysis Framework for Java
A set of powerful tools to perform TDD on MAS based on JADE
High quality fast "true random" number generator (shuffling) for JS
A library for monitoring the garbage collection of app objects
An independent Data Distribution Management testbed
Java and C Comparative Performance Benchmarks
A network traffic replay tool targeted to servers
efficient data generation for benchmarks and performance analysis
Null dereference verifier for Java Programs
A database rapid application development tool
MOVED TO GITHUB. Code here is STALE.
XJML 1.0 is a platform for Verification and Validation of Java classes