csgordon/bedrock
A fork of Chlipala's Bedrock Coq DSL (http://plv.csail.mit.edu/bedrock/)
Public GitHub Catalog
Discovered Sep 26, 2026
csgordon / rgref
Prototype Implementation of Rely-Guarantee References as a Coq DSL
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.
#6604358GitHub System ID
csgordonOrganization / User
PublicVisibility
ActiveCatalog Status
More from csgordon
csgordon/HoTT-Agda
Development of homotopy type theory in Agda
csgordon/liquidhaskell
Liquid Types For Haskell
csgordon/guarded-recursion
Playing with guarded recursion in Coq and Agda