gridaphobe/structured-haskell-mode
Structured editing minor mode for Haskell in Emacs
Public GitHub Catalog
Discovered Oct 2, 2026
gridaphobe / type-nat-solver
A plugin for solving numeric constraints in GHC's type-checker
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.
#25055092GitHub System ID
gridaphobeOrganization / User
PublicVisibility
ActiveCatalog Status
More from gridaphobe
gridaphobe/acl2
Writing and calling ACL2 from Haskell.
gridaphobe/ivory
The Ivory EDSL
gridaphobe/nixpkgs
Nix Packages collection