Programs: 4 | Lorenzo Castelli homepage
 |
CryptoLib is a library that provides the implementation of several cryptographic algorithms.
|
October 30th, 2007 GMT
License: GPL
Downloads: 1,096 |
 |
RT Scheduler is a simulator for hard real-time software scheduling, developed in C#.
|
October 25th, 2007 GMT
License: GPL
Downloads: 754 |
 |
Net Simulator is a simulator of combinatorial and sequential digital systems, developed in C#.
|
October 25th, 2007 GMT
License: GPL
Downloads: 1,103 |
 |
Logic Reasoner is a theorem prover for first-order logic with equality.
|
October 25th, 2007 GMT
License: GPL v3
Downloads: 523 |
|
Find us on Google+
