Lysxia / bluefin-algaeLinks
Algebraic effects in the Bluefin effect system
☆20Updated last month
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☆73Updated this week
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆98Updated last month
- Reimplementation of Parsley in Haskell, with improvements☆60Updated 2 months ago
- Generates a references DB from .hie files☆68Updated last week
- ☆50Updated 3 months ago
- Leightweight generalized parser combinators☆20Updated 2 years ago
- experimenting with unlifted classes via backpack☆37Updated 3 years ago
- ☆36Updated 4 years ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated last month
- A modern step-through debugger for GHC Haskell☆109Updated this week
- Extend Cabal build-depends from the command line☆59Updated 6 months ago
- Normalise GHC.TypeLits.Nat equations☆43Updated last week
- 📊 Haskell dependencies build times profiler☆74Updated 3 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆84Updated last week
- GHC plugin to desugar ! into do-notation☆38Updated 10 months ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- todo and unimplemented, robustly implemented☆36Updated last year
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆83Updated 2 weeks ago
- Visualise eventlog events as a static webpage☆72Updated 7 months ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆56Updated last week
- Analyze GHC .dump-timings files☆111Updated last year
- type level sets☆67Updated 6 years ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆72Updated 3 weeks ago
- A tool suite to aid Haskell development using `cabal-install`☆90Updated 7 months ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated 2 years ago
- Staged push/pull fusion with typed Template Haskell☆62Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- First-class type families☆90Updated 2 months ago
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated 2 years ago
- A community-driven collection of documentation for Haskell error messages and warnings☆106Updated 2 weeks ago