Lysxia / bluefin-algae
Algebraic effects in the Bluefin effect system
☆15Updated 10 months ago
Alternatives and similar repositories for bluefin-algae:
Users that are interested in bluefin-algae are comparing it to the libraries listed below
- todo and unimplemented, robustly implemented☆33Updated 6 months ago
- GHC plugin to desugar ! into do-notation☆37Updated last week
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- ☆42Updated 2 months ago
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated last week
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- ☆15Updated 2 weeks ago
- A modern Haskell debugger☆30Updated last year
- Test monadic programs using state machine based models☆17Updated 6 months ago
- Leightweight generalized parser combinators☆19Updated last year
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- Automatically generate Haskell bindings from C header files☆36Updated this week
- Session types framework with support of protocol pipelining.☆16Updated last week
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆49Updated 3 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- A tool suite to aid Haskell development using `cabal-install`☆85Updated 3 months ago
- Improving all Haskell's programmer interfaces☆69Updated last month
- Type-safe WebAssembly eDSL in Haskell☆25Updated 4 months ago
- ☆18Updated 3 years ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- ☆21Updated 2 months ago
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆36Updated last month
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated last month
- GRIN backend for Idris2☆33Updated 2 years ago
- higher-kinded data☆30Updated last year
- A Typeclass for user-facing output☆56Updated last week