isovector / hs2
a new, WIP Haskell compiler
☆14Updated 4 years ago
Alternatives and similar repositories for hs2:
Users that are interested in hs2 are comparing it to the libraries listed below
- 🤳 ignore the differences between `a` and `Identity a`☆25Updated 5 years ago
- Literally the best anonymous records☆35Updated last year
- Overloaded plugin☆30Updated 8 months ago
- Existential type.☆36Updated last month
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated last week
- ☆31Updated 3 weeks ago
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 4 years ago
- ☆31Updated 3 years ago
- rewrite rules for type-level equalities☆62Updated 10 months ago
- An interface for GHC type-checking plugins☆20Updated 2 months ago
- Haskell Type Level Example Programs☆29Updated 7 years ago
- Type-safe printf from parsing GHC TypeLits Symbol☆24Updated 5 months ago
- A Really Cool Calculator written in Haskell... or is it?☆41Updated 3 years ago
- Experimental fork of ghcide which is reimplemented using the FRP library reflex☆17Updated 3 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 2 months ago
- Omit fields for instance deriving☆37Updated 4 years ago
- Keep your laziness in check!☆32Updated 2 years ago
- GHC plugin to desugar ! into do-notation☆37Updated 2 months ago
- Haskell program configuration using higher kinded data☆29Updated 9 months ago
- Bidirectional Parsing. Work in Progress☆32Updated 4 months ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆18Updated 3 years ago
- A modern Haskell debugger☆30Updated last year
- Haskell library of row polymorphic record manipulator☆19Updated 4 years ago
- A simple tool for visualising differences in Criterion benchmark results☆14Updated 4 years ago
- ☆34Updated 3 years ago
- A library encoding monoidal functors and related structures in Haskell.☆16Updated last year
- Maps using values' monoidal structure during merging☆42Updated 2 months ago
- reverse dependency build matrix generator☆33Updated 4 years ago
- HLint as a GHC source plugin.☆31Updated 7 months ago
- Nat, Fin, Vec☆24Updated 3 months ago