Blaisorblade/hermit
Haskell Equational Reasoning Model-to-Implementation Tunnel
Public GitHub Catalog
Discovered Sep 29, 2026
Blaisorblade / scala.github.com
The Scala Documentation website
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.
#14635078GitHub System ID
BlaisorbladeOrganization / User
PublicVisibility
ActiveCatalog Status
More from Blaisorblade
Blaisorblade/co4
complexity concerned constraint compiler
Blaisorblade/intern
Hash consing for arbitrary Haskell data types
Blaisorblade/AoPL
A book on programming languages, using Haskell