marcelosousa/simplec
Subset of the C language used for research projects
Public GitHub Catalog
Discovered Sep 25, 2026
marcelosousa / agda-gp
Public repository discovered through GitHub real-time crawl.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#3277894GitHub 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.