csgordon/OpenLogic
An open-source, customizable intermediate logic textbook
Public GitHub Catalog
Discovered Sep 30, 2026
csgordon / repro-in-cs
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
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.
#18076051GitHub System ID
csgordonOrganization / User
PublicVisibility
ActiveCatalog Status
More from csgordon
csgordon/javagrok
Automatically exported from code.google.com/p/javagrok
csgordon/rghaskell
Porting a variant of rely-guarantee references to Liquid Haskell
csgordon/rgref-fstar
F* Implementation of a simplified rely-guarantee references