relrod/HPLAR
Experiments from John Harrison's "Handbook of Practical Logic and Automated Reasoning" book.
Public GitHub Catalog
Discovered Sep 27, 2026
relrod / scaloid.g8
A g8 template for Scaloid apps.
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.
#10093542GitHub System ID
relrodOrganization / User
PublicVisibility
ActiveCatalog Status
More from relrod
relrod/cf
Exact real arithmetic for Haskell using continued fractions
relrod/cfplayground
Playing around with continued fractions for doing exact real arithmetic.
relrod/Shelly.hs
Haskell shell scripting