silky/probSAT
The probSAT SAT Solver
API wrapper for Github's API in Haskell with tests
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
The probSAT SAT Solver
webGL live coding performance IDE
Pattern language
Live programming music with stars - Performance Source