L-BFGS-B implementation in C++11 using Eigen
OpenNARS 1.6+
cube.js -- JavaScript library for modeling and solving the 3x3x3 Rubik's Cube
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
