csgordon/javagrok
Automatically exported from code.google.com/p/javagrok
Public GitHub Catalog
Discovered Oct 7, 2026
csgordon / OpenLogic
An open-source, customizable intermediate logic textbook
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.
#36249892GitHub System ID
csgordonOrganization / User
PublicVisibility
ActiveCatalog Status
More from csgordon
csgordon/rghaskell
Porting a variant of rely-guarantee references to Liquid Haskell
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