ntccKMC: A Kripke-structure-based model checker for ntcc
Python2.7.3 for android
PyParticles is an opensource particles simulation tool box entirely wr
Le couteau-suisse du prof de maths
A Python calculator program
A Hidden Markov Model editor with support to HTK
A compliation of Physics derived claculators
Machine Learning Python
A user-friendly GTK+ GUI for SymPy