pombredanne/sat-solver-2
SAT solver for use in Enstaller, based on the MiniSat implementation
Public GitHub Catalog
Discovered Sep 24, 2026
pombredanne / djangosnippets.org
cab is the app that powers djangosnippets.org, it allows users to post and share useful "snippets" of code.
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.
#1869833GitHub System ID
pombredanneOrganization / User
PublicVisibility
ActiveCatalog Status
More from pombredanne
pombredanne/machobot
A Python toolbox for Mach-O files analysis.
pombredanne/ironpycompiler
Helps to compile IronPython scripts, using pyc.py.
pombredanne/wcwidth
Measures number of Terminal column cells of wide-character codes