fast C++ library for linear algebra & scientific computing
A book on parallel programming and a C++ library
Mixed Integer Linear Programming (MILP) solver.
Pattern-based multi/many-core parallel programming framework
A tool for finite state machine analysis and synthesis.
Bachelor of Science (Informatik)
Graph algorithms interpreter, IDE, debugger, 3D visualizations.
An implementation of Dantzig-Wolfe decomposition built upon GLPK
Water Retention on Magic Squares with Constraint-Based Local Search
WIttgen is a two-instruction programming language modeled on the mind.
SNOMP (SNOMP is Not OpenMP) is a library for semi-shared memory parall