Modeling language for Mathematical Optimization
Arbitrary-precision CRC calculator and algorithm finder
PubMed ID: 29562348 / DOI: 10.1093/nar/gky175
Math Expression Parser 4 Java
a space-time interpolation geostatistical tool
Package for solving PDE systems numerically
Editor for Petri nets
Bit level lambda continuations and nothing else - Queue automata
Petri net framework for security related modeling and reasoning.
Java graph library
Grid based multiplication, add, sub including (-)ve #s
Puzzle game demonstrating whats so hard about binary integer factoring
Software for exact computing based on interval arithmetic.
A finite element solver using state-of-the-art programming techniques.