marcelosousa/descartes
descartes: the cartesian hoare logic prover
Public GitHub Catalog
Discovered Oct 2, 2026
marcelosousa / safemerge
SafeMerge: Verification of Conflict Freedom in Program Merges
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.
#25482705GitHub System ID
marcelosousaOrganization / User
PublicVisibility
ActiveCatalog Status
More from marcelosousa
marcelosousa/simplec
Subset of the C language used for research projects
marcelosousa/poet
POET (Partial Order Exploration Tools)
marcelosousa/llvm
Haskell bindings to the LLVM compiler infrastructure project.