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:
- ☆36Updated 4 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆98Updated last month
- Visualise eventlog events as a static webpage☆72Updated 8 months ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated 2 years ago
- Reimplementation of Parsley in Haskell, with improvements☆60Updated 3 months ago
- ☆50Updated 4 months ago
- type level sets☆67Updated 6 years ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆72Updated last month
- Automatically generate Haskell bindings from C header files☆75Updated this week
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆83Updated last week
- A tutorial on writing Haskell Language Server plugins☆70Updated 5 years ago
- A modern step-through debugger for GHC Haskell☆111Updated last week
- Generates a references DB from .hie files☆68Updated 3 weeks ago
- First-class type families☆90Updated 3 months ago
- 📊 Haskell dependencies build times profiler☆74Updated 3 years ago
- Normalise GHC.TypeLits.Nat equations☆43Updated last week
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆56Updated 3 weeks ago
- Leightweight generalized parser combinators☆20Updated 2 years ago
- A tool suite to aid Haskell development using `cabal-install`☆89Updated 8 months ago
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆52Updated last week
- todo and unimplemented, robustly implemented☆36Updated last year
- A Typeclass for user-facing output☆57Updated last week
- The Haskell Foundation website, hosted by GitHub Pages.☆41Updated this week
- Extend Cabal build-depends from the command line☆59Updated 6 months ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- ☆99Updated 7 months ago
- Moved to Haskell.org GitLab.☆61Updated 8 months ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated last month
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆84Updated 3 weeks ago