Kleidukos / boreal
☆17Updated last week
Related projects ⓘ
Alternatives and complementary repositories for boreal
- GHC plugin for hlint☆11Updated last year
- Require that callers propagate `HasCallStack` constraints☆19Updated last year
- Boring and Absurd types☆17Updated 5 months ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 4 months ago
- An interface for GHC type-checking plugins☆20Updated last week
- Haskell counters that can be safely incremented from multiple threads☆17Updated last year
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- A Haskell libary for fast arrowized FRP based on signal functions☆17Updated 3 months ago
- Reimplementation of a subset of Cabal☆23Updated last month
- GHC plugin to desugar ! into do-notation☆37Updated 5 months ago
- Split integers into digits, blazingly fast☆12Updated 4 months ago
- Overloaded plugin☆31Updated 4 months ago
- todo and unimplemented, robustly implemented☆33Updated last month
- Type-safe printf from parsing GHC TypeLits Symbol☆24Updated last month
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- A Typeclass for user-facing output☆53Updated last week
- File IO (read/write/open) for OsPath API☆11Updated last month
- Composable Concurrent Computation Done Right☆30Updated last year
- Hackager tool for releasing Haskell packages to Hackage☆30Updated 4 months ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated 5 months ago
- Existential type.☆36Updated 5 months ago
- Infinite lists aka streams☆17Updated last week
- Applicative maps☆15Updated last month
- 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 3 months ago
- ☆20Updated last year
- Omit fields for instance deriving☆37Updated 4 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆28Updated 3 years ago
- ☆16Updated last month
- Staged Streams and other stuff☆18Updated 2 years ago