Open-source C/C++ math engine for advanced scientific computing
Unicode XML TEI text analysis platform
Windows binaries for the GNU Linear Programming Kit (GLPK)
Constructing level-1-networks consistent with a set of quartets
Java Decision Diagrams (BDD) libraries: JDD and JBDD