Lysxia / bluefin-algaeLinks
Algebraic effects in the Bluefin effect system
☆18Updated last week
Alternatives and similar repositories for bluefin-algae
Users that are interested in bluefin-algae are comparing it to the libraries listed below
Sorting:
- Automatically generate Haskell bindings from C header files☆60Updated this week
- ☆48Updated last month
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆97Updated 2 months ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated last week
- Reimplementation of Parsley in Haskell, with improvements☆60Updated 2 weeks ago
- Extend Cabal build-depends from the command line☆59Updated 4 months ago
- Generates a references DB from .hie files☆68Updated 3 months ago
- todo and unimplemented, robustly implemented☆36Updated last year
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 8 months ago
- ☆36Updated 4 years ago
- Library to support efficient compilation of large records (linear in the number of record fields)☆49Updated this week
- Leightweight generalized parser combinators☆20Updated 2 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆55Updated last week
- Visualise eventlog events as a static webpage☆71Updated 5 months ago
- A modern step-through debugger for GHC Haskell☆81Updated this week
- Analyze GHC .dump-timings files☆111Updated last year
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated 2 years ago
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- A community-driven collection of documentation for Haskell error messages and warnings☆106Updated last month
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 4 months ago
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆51Updated 2 weeks ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆70Updated last month
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- ☆134Updated last week
- A Typeclass for user-facing output☆57Updated 2 weeks ago
- Test interactive Haskell examples☆33Updated 5 months ago
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- ☆19Updated 3 months ago
- ☆31Updated 4 years ago
- First-class type families☆90Updated 2 weeks ago