A Python computer vision library
A toolkit for developing and deploying protein structure algorithms.
scientific programming language and graphics
MatLab toolbox for magnetospheric and ionospheric science.
JBernstein: Exploration techniques for non-linear constraint checking
An HDL alternative to PCB graphical schematic capture tools.
Framework for Agent-oriented MOdelling and Simulation
[frozen] A library for computing cycles in graphs or in Java code.
Graph algorithms interpreter, IDE, debugger, 3D visualizations.
a defluctuator for avisynth
Android virtual machines running on Openstack Clouds