Static code analysis
Powerful modern math library for PHP
Haskell to VHDL/Verilog/SystemVerilog compiler
Toolkit for making machine learning and data analysis applications
HiPS tool features to design and analyze hierarchical Petri nets
MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
A Docking Wrapper to Enhance De Novo Molecular Design
Visual regression tool used to compare baseline and updated instances
A toolkit for developing and deploying protein structure algorithms.
General purpose matrix utilities for Java in Parallel Computing
Solve linear programming problems