konn / ad-delcont-primopLinks
☆21Updated 2 years ago
Alternatives and similar repositories for ad-delcont-primop
Users that are interested in ad-delcont-primop are comparing it to the libraries listed below
Sorting:
- ☆21Updated 2 weeks ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 4 months ago
- experimenting with unlifted classes via backpack☆36Updated 3 years ago
- Staged Streams and other stuff☆19Updated 3 years ago
- Fine-grained lattice primitives for Haskell☆37Updated 4 months ago
- Existential type.☆37Updated 11 months ago
- Haskell bindings to Halide☆20Updated last year
- Haskell bindings to ArrayFire☆60Updated 11 months ago
- Sort any Traversable container☆41Updated 3 years ago
- A GHC plugin and library for analysing GHC Core☆54Updated 9 months ago
- Fast equality saturation in Haskell☆90Updated last month
- Divide without division☆20Updated 3 months ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Updated 7 years ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Staged push/pull fusion with typed Template Haskell☆62Updated last year
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 8 months ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 4 months ago
- rewrite rules for type-level equalities☆62Updated 3 months ago
- Overloaded plugin☆31Updated last year
- Extend GHC's type checker with user-defined rules, without writing a type checker plugin.☆18Updated 4 years ago
- ☆48Updated last month
- ICFP tutorial☆39Updated 4 years ago
- ☆38Updated last month
- An interface for GHC type-checking plugins☆21Updated last month
- Benchmark of the main linear algebra libraries in Haskell☆26Updated 5 years ago
- Parse bytes fast☆25Updated last week
- Haskell bindings to the Eigen C++ library☆16Updated last year
- Haskell-centric Fast Accurate Curve Rasterizer☆24Updated 4 years ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated last year
- Example uses of linear types☆43Updated 5 years ago