Lysxia / bluefin-algaeLinks
Algebraic effects in the Bluefin effect system
☆19Updated 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:
- ☆36Updated 4 years ago
- Automatically generate Haskell bindings from C header files☆71Updated this week
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆97Updated last week
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆84Updated this week
- Reimplementation of Parsley in Haskell, with improvements☆60Updated 2 months ago
- Leightweight generalized parser combinators☆20Updated 2 years ago
- experimenting with unlifted classes via backpack☆36Updated 3 years ago
- Generates a references DB from .hie files☆68Updated this week
- Visualise eventlog events as a static webpage☆72Updated 7 months ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆57Updated 3 weeks ago
- type level sets☆67Updated 6 years ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆71Updated last week
- Normalise GHC.TypeLits.Nat equations☆43Updated this week
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated this week
- ☆50Updated 3 months ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Extend Cabal build-depends from the command line☆59Updated 5 months ago
- Library to support efficient compilation of large records (linear in the number of record fields)☆51Updated last month
- First-class type families☆90Updated 2 months ago
- todo and unimplemented, robustly implemented☆36Updated last year
- A GHC plugin and library for analysing GHC Core☆54Updated 11 months ago
- A Haskell library for on-disk tables based on LSM-Trees☆50Updated 3 weeks ago
- Benchmark a given function for variable input sizes and find out its time complexity☆26Updated 2 weeks ago
- Fine-grained lattice primitives for Haskell☆37Updated 6 months ago
- Staged push/pull fusion with typed Template Haskell☆62Updated 2 years ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 10 months ago
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- ☆26Updated 3 years ago