csgordon/rghaskell
Porting a variant of rely-guarantee references to Liquid Haskell
Public GitHub Catalog
Discovered Oct 6, 2026
csgordon / javagrok
Automatically exported from code.google.com/p/javagrok
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#32197726GitHub 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/)