Mario Rincon Nigro's repositories
chaos-crypt
Encryption through networks of coupled chaotic maps
boiling-simulation
Implementation of a simple boiling module
Language:C++MIT000
e-pro
Evolutionary programming stuff
Language:PythonGPL-3.0000
genna
Source code generator for UML 1.4 models in C++ and Java
Language:PythonGPL-2.0000
Language:C++000
ninety-nine-problems
Solutions to online problem sets
Language:C++000
z3
The Z3 Theorem Prover
NOASSERTION000