cgswords/abstract
Abstract Machines
Public GitHub Catalog
Discovered Oct 6, 2026
cgswords / ccon
Concurrent Contracts
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.
#31438063GitHub System ID
cgswordsOrganization / User
PublicVisibility
ActiveCatalog Status
More from cgswords
cgswords/mipsemu
A Java emulator written for a class a long time ago.
cgswords/Software-Foundations
Working through Software Foundations to learn Coq
cgswords/laurens
An STG Machine implementation in RPython