A script to perform SAT attacks on RSA
Library for creating and manipulating graphs
jHepWork was a name of the DataMelt program in 2005-20013
ntccKMC: A Kripke-structure-based model checker for ntcc
Le couteau-suisse du prof de maths
A Python calculator program
A compliation of Physics derived claculators
Machine Learning Python
Demonstrate errors in transmission of a file over a noisy channel.