konn / ad-delcont-primop
☆17Updated last year
Related projects: ⓘ
- ☆20Updated last year
- Staged Streams and other stuff☆18Updated 2 years ago
- Overloaded plugin☆31Updated 3 months ago
- Order theory☆23Updated last year
- Existential type.☆36Updated 4 months ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆33Updated 3 months ago
- Script to download all of Hackage☆14Updated 5 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- A package dealing with Kepler orbits.☆11Updated 2 years ago
- A Zoo of Haskell Newtype Wrappers☆14Updated 3 years ago
- Deriving Storable instances using GHC.Generics☆15Updated 2 years ago
- Fast unboxed references for ST and IO monad☆16Updated 7 years ago
- High-performance JSON parser☆24Updated 4 months ago
- Haskell-centric Fast Accurate Curve Rasterizer☆24Updated 2 years ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆28Updated last year
- Fast ByteString Builder☆22Updated 3 weeks ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- There are many category theory implementations, but this one is mine☆14Updated 3 weeks ago
- Folds and sequence algebras☆18Updated last year
- Parse bytes fast☆24Updated 4 months ago
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 3 months ago
- Haskell bindings to ArrayFire☆60Updated last month
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Haskell bindings to the Eigen C++ library☆16Updated 3 months ago
- Extend GHC's type checker with user-defined rules, without writing a type checker plugin.☆18Updated 3 years ago
- Bring fusion to everyone☆13Updated 4 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- ☆13Updated 4 years ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago