konn / ad-delcont-primopLinks
☆21Updated 3 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 last month
- experimenting with unlifted classes via backpack☆37Updated 3 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 3 weeks ago
- Benchmark of the main linear algebra libraries in Haskell☆26Updated 5 years ago
- Divide without division☆20Updated 5 months ago
- Haskell bindings to ArrayFire☆60Updated last year
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated last year
- Sort any Traversable container☆42Updated 3 years ago
- Haskell library for semigroup actions and torsors☆64Updated 11 months ago
- Haskell-centric Fast Accurate Curve Rasterizer☆24Updated 4 years ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 6 months ago
- A GHC plugin and library for analysing GHC Core☆54Updated 11 months ago
- Staged Streams and other stuff☆19Updated 3 years ago
- Order theory☆25Updated 2 years ago
- Session Types with Priority in Linear Haskell☆27Updated last year
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 10 months ago
- Generic functions for single-sorted first-order structural unification☆45Updated 9 months ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated last week
- Profunctor optics for the endofunctor category on Hask☆27Updated 5 years ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- rewrite rules for type-level equalities☆62Updated 5 months ago
- Composable Concurrent Computation Done Right☆30Updated 3 years ago
- Existential type.☆37Updated last year
- Fine-grained lattice primitives for Haskell☆37Updated 7 months ago
- A really small example of the Backpack module system for Haskell☆60Updated last month
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆84Updated last week
- Exact real arithmetic in Haskell☆25Updated 4 years ago
- First-class type families☆90Updated 2 months ago
- Haskell bindings to Halide☆20Updated last year
- Example uses of linear types☆42Updated 5 years ago