Realtime PC-based control and simulator of control systems
Efficient Algorithms implemented in Java
JBernstein: Exploration techniques for non-linear constraint checking
A library with Scalable (and fast) Read-Write locks
Open source library for processing arrays and matrices