python calculus library with imprecise and precise representations
A script to perform SAT attacks on RSA
ODEs solver with GUI
jHepWork was a name of the DataMelt program in 2005-20013
Library for creating and manipulating graphs
An accessible calculator designed for Microsoft Windows Systems.
ntccKMC: A Kripke-structure-based model checker for ntcc
PyParticles is an opensource particles simulation tool box entirely wr