Kleidukos / boreal
☆20Updated 4 months ago
Alternatives and similar repositories for boreal:
Users that are interested in boreal are comparing it to the libraries listed below
- GHC plugin for hlint☆11Updated last year
- Require that callers propagate `HasCallStack` constraints☆21Updated 2 months ago
- GHC plugin to desugar ! into do-notation☆37Updated this week
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated last week
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 3 months ago
- Boring and Absurd types☆17Updated 2 months ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated 7 months ago
- Overloaded plugin☆30Updated 8 months ago
- An interface for GHC type-checking plugins☆20Updated 3 months ago
- Existential type.☆37Updated 2 months ago
- Split integers into digits, blazingly fast☆12Updated 8 months ago
- Automatic type class law checking.☆24Updated last month
- Deeply nested, multiple key-type maps.☆10Updated 3 months ago
- ☆15Updated 2 weeks ago
- Type-safe printf from parsing GHC TypeLits Symbol☆26Updated 6 months ago
- Haskell counters that can be safely incremented from multiple threads☆19Updated 2 months ago
- Types for ldtk☆14Updated 11 months ago
- A command line tool that leverages GHC API for generation of etags (Emacs) and ctags (Vim, VSCode with ctagsx etc.) for efficient code na…☆21Updated 7 months ago
- ☆10Updated 11 months ago
- A modern Haskell debugger☆30Updated last year
- Memory-efficient representation of Unicode text strings☆22Updated 2 months ago
- Funny little Haskell impl☆18Updated 4 years ago
- Parse bytes fast☆24Updated 10 months ago
- Haskell port of the Nanopass Compiler Framework☆21Updated last year
- todo and unimplemented, robustly implemented☆33Updated 6 months ago
- Session types framework with support of protocol pipelining.☆16Updated last week
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- Typeclass for array types☆19Updated 10 months ago
- Leightweight generalized parser combinators☆19Updated last year