Developed by devhub.io
L-BFGS-B implementation in C++11 using Eigen
Connect to ODBC databases (using the DBI interface)
Compilation of solutions from www.projecteuler.net in various languages
Spectral element CFD solver
Solves and analyses optimisation problems
DriftingDroids - yet another Ricochet Robots solver program
A modular sat/smt solver with proof output.
Another nonogram (also known as hanjie, picross and griddlers) editor and solver. No dependencies.
Logic programming in Swift
Constraint programming in Rust