silky/probSAT
The probSAT SAT Solver
Pattern language
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
Live programming music with stars - Performance Source
Emacs as an instrument