A script to perform SAT attacks on RSA
Python+Pygame robot simulator 2D
Go to github.com/vlm/asn1c for the latest version.
Library for optimization using a genetic algorithm or particle swarms
A detailed nitrogen model inside of a simple ecological model
Specificity Control for Read Alignments Using an Artificial Reference
SCons tool to cooperate with dvipdfm program
Find active modules in metabolic networks using high-throughput data
ODEs solver with GUI
ISO - Customized version of dcm4chee 2.17.3 for MySQL.