The Home of Community

800K+ People
300K+ Rooms
90K+ Communities
100+ Countries

dtex / tharp

An inverse kinematics solver for robotic legs controlled by Johnny-Five

javascript inverse kinematics solver robotic legs

alex-87 / mokitu-solver

This software is a Mokitu (Sudoku with letters) Solver and Builder, using wxWidgets 3 and Gecode 4.2.1.

software mokitu sudoku letters solver builder

dreal / dreal

dReal: An SMT Solver for Nonlinear Theories of the Reals

dreal smt solver nonlinear theories reals