ESC/Java2 is an Extended Static Checker for Java. It automatically,
statically, and modularly detects common programming errors. It reasons
about Java programs that have (optional) annotations written in JML.
Simplify is an automated theorem prover used by
A Web-based calendar written in PHP/SQL.
A library of Python/Scipy tools for the design and simulation of ΔΣ modulators.