facundominguez / stitch-lhLinks
☆11Updated 3 years ago
Alternatives and similar repositories for stitch-lh
Users that are interested in stitch-lh are comparing it to the libraries listed below
Sorting:
- ☆38Updated last month
- A Really Cool Calculator written in Haskell... or is it?☆43Updated 4 years ago
- Strongly-typed System F in Haskell☆119Updated 3 years ago
- Analyze GHC .dump-timings files☆111Updated last year
- Prototype implementations of systems based on setoid type theory☆65Updated 5 years ago
- ☆99Updated 5 months ago
- First-class type families☆90Updated last month
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆127Updated last year
- Visualise eventlog events as a static webpage☆71Updated 6 months ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆57Updated last year
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆109Updated 3 weeks ago
- Staged push/pull fusion with typed Template Haskell☆62Updated last year
- Moved to Haskell.org GitLab.☆61Updated 6 months ago
- Turn Haskell expressions into pointfree style in your browser with WASM☆13Updated 11 months ago
- Inspection Testing for Haskell☆189Updated 2 months ago
- Generates a references DB from .hie files☆68Updated 4 months ago
- Experimental tool to build reports on GHC build time for your projects.☆24Updated 2 years ago
- A community-driven collection of documentation for Haskell error messages and warnings☆106Updated 2 months ago
- Fast parsing from bytestrings☆173Updated 2 months ago
- Library to support efficient compilation of large records (linear in the number of record fields)☆51Updated 3 weeks ago
- Library of categories, with categorical constructions on them☆58Updated 2 years ago
- A tutorial on writing Haskell Language Server plugins☆70Updated 5 years ago
- experimenting with unlifted classes via backpack☆36Updated 3 years ago
- Distributors - Unifying Parsers, Printers & Grammars☆59Updated this week
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated 3 weeks ago
- Reimplementation of Parsley in Haskell, with improvements☆60Updated last month
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆74Updated 6 years ago
- A re-implementation of weeder using HIE files☆183Updated 4 months ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 4 months ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 4 months ago