maciej-bendkowski / generic-boltzmann-brain
Analytic sampler framework for algebraic data types
☆15Updated last year
Related projects ⓘ
Alternatives and complementary repositories for generic-boltzmann-brain
- ☆20Updated last year
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆33Updated 5 months ago
- Staged Streams and other stuff☆18Updated 2 years ago
- being bits and pieces I'm inclined to leave lying around☆46Updated last month
- Dump the declarations of Haskell modules☆11Updated last week
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago
- Generic functions for single-sorted first-order structural unification☆41Updated last week
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- Profunctor optics for the endofunctor category on Hask☆27Updated 4 years ago
- The multimode presheaf proof-assistant☆36Updated last year
- NbE course @ Chalmers☆28Updated last month
- There are many category theory implementations, but this one is mine☆14Updated 2 months ago
- ☆45Updated 2 years ago
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- rewrite rules for type-level equalities☆62Updated 6 months ago
- ☆23Updated last year
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆31Updated 2 years ago
- Maps using values' monoidal structure during merging☆42Updated 5 months ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆19Updated 7 months ago
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Sort any Traversable container☆41Updated 2 years ago
- Haskell bindings to ArrayFire☆60Updated 3 months ago
- ☆28Updated 2 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Updated 6 years ago
- Session Types with Priority in Linear Haskell☆25Updated 5 months ago
- Agda-style equational reasoning in Haskell☆51Updated 5 months ago
- ☆38Updated 5 months ago
- Leightweight generalized parser combinators☆17Updated 11 months ago
- Normalise GHC.TypeLits.Nat equations☆43Updated 5 months ago