Lysxia / bluefin-algae
Algebraic effects in the Bluefin effect system
☆13Updated 4 months ago
Related projects: ⓘ
- todo and unimplemented, robustly implemented☆32Updated last week
- GHC plugin to desugar ! into do-notation☆37Updated 3 months ago
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- Libraries for the Effectful Haskell effects system☆21Updated 2 years ago
- Session types framework with support of protocol pipelining.☆15Updated this week
- A GHC plugin for rust style impl with -XOverloadedRecordDot☆19Updated 2 years ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 2 months ago
- Go get tested! Github Actions matrix generator for your haskell projects☆44Updated this week
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- 📊 Haskell dependencies build times profiler☆73Updated last year
- Library to support efficient compilation of large records (linear in the number of record fields)☆44Updated last month
- ☆19Updated 3 weeks ago
- A modern Haskell debugger☆29Updated 10 months ago
- ☆36Updated 3 months ago
- Bidirectional Parsing. Work in Progress☆31Updated 2 weeks ago
- An effect system based on type classes, written in Haskell.☆44Updated 2 years ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- GRIN backend for Idris2☆32Updated 2 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆28Updated 9 months ago
- A tool suite to aid Haskell development using `cabal-install`☆80Updated last month
- Test monadic programs using state machine based models☆16Updated 2 weeks ago
- An unofficial Idris2 package repository for Nix☆45Updated last year
- Generates a references DB from .hie files☆64Updated 2 months ago
- Extend Cabal build-depends from the command line☆53Updated 3 weeks ago
- Improving all Haskell's programmer interfaces☆65Updated 3 months ago
- ☆18Updated 4 months ago
- ☆18Updated 3 years ago
- Command line interface library in Idris☆30Updated last month
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- ☆22Updated 8 months ago