konn / ad-delcont-primop
☆17Updated last year
Alternatives and similar repositories for ad-delcont-primop:
Users that are interested in ad-delcont-primop are comparing it to the libraries listed below
- ☆20Updated last year
- Staged Streams and other stuff☆18Updated 2 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 7 months ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Updated 2 months ago
- Deriving Storable instances using GHC.Generics☆16Updated 2 years ago
- Type-level interpolations in various forms☆12Updated last month
- Existential type.☆36Updated 3 weeks ago
- Parse bytes fast☆24Updated 8 months ago
- A package dealing with Kepler orbits.☆11Updated 2 years ago
- Profunctor optics for the endofunctor category on Hask☆27Updated 4 years ago
- CLI tool for Hackage☆26Updated last week
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆10Updated 10 months ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last month
- Agda-style equational reasoning in Haskell☆52Updated 2 weeks ago
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- Deriving Applicative for sum types.. Idiomatically.☆11Updated 2 years ago
- Extend GHC's type checker with user-defined rules, without writing a type checker plugin.☆18Updated 3 years ago
- Overloaded plugin☆30Updated 7 months ago
- A library to profile time in a Haskell program☆17Updated 7 months ago
- There are many category theory implementations, but this one is mine☆15Updated 4 months ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- Script to download all of Hackage☆14Updated 5 years ago
- Applicative maps☆15Updated 3 months ago
- A library for generic programming that aims to be easy to understand☆26Updated 3 years ago
- Efficient non-empty variants of containers data types, with full API☆25Updated 6 months ago
- Order theory☆23Updated last year
- Fine-grained lattice primitives for Haskell☆35Updated 2 weeks ago
- Haskell counters that can be safely incremented from multiple threads☆17Updated last month
- Haskell bindings to Halide☆20Updated 10 months ago