broesdecat/msysgit
The msysGit repository. Please post all patches to the msysGit mailing list.
Public GitHub Catalog
Discovered Sep 24, 2026
broesdecat / Minisatid
DPLL(T)-based search algorithm for ground input supporting inductively defined concepts, finite domain constraints, pseudo-boolean aggregates and subtheory queries (polynomial hierarchy expressivity).
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.
#1764556GitHub System ID
broesdecatOrganization / User
PublicVisibility
ActiveCatalog Status
More from broesdecat
broesdecat/linenoise
A small self-contained alternative to readline and libedit
broesdecat/autotoolized-lua
Autoconf, automake and libtool enabled Lua
broesdecat/AI-driven-Bomberman
Project to test some state of the art AI techniques and how they would apply to games.