csgordon/rghaskell
Porting a variant of rely-guarantee references to Liquid Haskell
Public GitHub Catalog
Discovered Sep 28, 2026
csgordon / coq-fsharp
Libraries and tools for extracting Coq code to F#
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.
#11988927GitHub System ID
csgordonOrganization / User
PublicVisibility
ActiveCatalog Status
More from csgordon
csgordon/repro-in-cs
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
csgordon/rgref-fstar
F* Implementation of a simplified rely-guarantee references
csgordon/bedrock
A fork of Chlipala's Bedrock Coq DSL (http://plv.csail.mit.edu/bedrock/)