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