mrkj/abc
A system for sequential synthesis and verification (this repo is from before https://bitbucket.org/alanmi/abc/src became available; use that one instead)
Public GitHub Catalog
Discovered Sep 27, 2026
mrkj / clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated hourly.
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.
#9101451GitHub System ID
mrkjOrganization / User
PublicVisibility
ActiveCatalog Status