Blaisorblade/hermit
Haskell Equational Reasoning Model-to-Implementation Tunnel
Public GitHub Catalog
Discovered Sep 28, 2026
Blaisorblade / git
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
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.
#13431353GitHub 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