Gabriella439 / haskell-flake
Flake template for Haskell repository
☆21Updated last month
Related projects ⓘ
Alternatives and complementary repositories for haskell-flake
- todo and unimplemented, robustly implemented☆34Updated 2 months ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 3 months ago
- Session types framework with support of protocol pipelining.☆15Updated last month
- Type-safe WebAssembly eDSL in Haskell☆21Updated last month
- GHC plugin to desugar ! into do-notation☆37Updated 6 months ago
- ☆17Updated last week
- A cross-platform driver for Tauri in Haskell☆46Updated 4 months ago
- Haskell bindings for the Slack web API☆32Updated 3 weeks ago
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- 📺 The power of Haskell in your terminal!☆42Updated 3 weeks ago
- ☆19Updated 2 months ago
- Algebraic effects in the Bluefin effect system☆13Updated 6 months ago
- Automatically import Haskell modules.☆20Updated last month
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Require that callers propagate `HasCallStack` constraints☆19Updated last year
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 4 months ago
- ☆14Updated last year
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆45Updated 2 weeks ago
- A library for benign effects in Haskell☆20Updated 2 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆29Updated 11 months ago
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated last year
- Boring and Absurd types☆17Updated 6 months ago
- ☆24Updated 3 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Inspecting tool for GHC compilation pipeline☆31Updated last year
- Calculate Haskell dependency ranges from multiple build plans☆33Updated 6 months ago
- Test monadic programs using state machine based models☆16Updated 2 months ago
- GHC plugin for hlint☆11Updated last year
- ☆30Updated 2 years ago
- Linear lens☆20Updated 9 months ago