gebner/ubcsat
The Stochastic Local Search SAT Solver from UBC
Public GitHub Catalog
Discovered Oct 21, 2026
gebner / cabal2nix
Generate Nix build instructions from a Cabal file
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#41543189GitHub System ID
gebnerOrganization / User
PublicVisibility
ActiveCatalog Status
More from gebner
gebner/nix
Nix, the purely functional package manager
gebner/gapt-proposal
Public repository.
gebner/reforest
Compressing term languages using grammars.