Lysxia / bluefin-algae
Algebraic effects in the Bluefin effect system
☆16Updated 11 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 7 months ago
- GHC plugin to desugar ! into do-notation☆37Updated last month
- ☆17Updated 3 weeks ago
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- Automatically generate Haskell bindings from C header files☆43Updated this week
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated last month
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated last month
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated last month
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- ☆44Updated 3 weeks ago
- Session types framework with support of protocol pipelining.☆15Updated last month
- Library to support efficient compilation of large records (linear in the number of record fields)☆46Updated last month
- coverage driven random testing framework☆23Updated 5 months ago
- Test monadic programs using state machine based models☆17Updated 7 months ago
- A GHC plugin for rust style impl with -XOverloadedRecordDot☆19Updated 3 years ago
- Automatic testing of Haskell programs.☆13Updated 10 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- ☆35Updated 6 months ago
- Improving all Haskell's programmer interfaces☆70Updated 3 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆94Updated last week
- Extend Cabal build-depends from the command line☆57Updated last month
- A modern Haskell debugger☆30Updated last year
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆41Updated 2 weeks ago
- ☆22Updated 4 months ago
- Retrying for humans using Haskell.☆45Updated last year
- Batteries-included structured logging library☆30Updated last week
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆57Updated 5 months ago
- Type-safe WebAssembly eDSL in Haskell☆25Updated 6 months ago
- Utilities for making your applications more debuggable.☆15Updated 4 months ago