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 last month
- Staged Streams and other stuff☆19Updated 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 5 months ago
- experimenting with unlifted classes via backpack☆36Updated 3 years ago
- Haskell bindings to ArrayFire☆60Updated last year
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Divide without division☆20Updated 4 months ago
- Sort any Traversable container☆42Updated 3 years ago
- Fast equality saturation in Haskell☆92Updated this week
- Profunctor optics for the endofunctor category on Hask☆27Updated 5 years ago
- A GHC plugin and library for analysing GHC Core☆54Updated 10 months ago
- Overloaded plugin☆31Updated last year
- Ties the knot on data structures that reference each other by unique keys☆47Updated last year
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 9 months ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated last year
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 4 months ago
- Haskell library for semigroup actions and torsors☆64Updated 10 months ago
- Generic functions for single-sorted first-order structural unification☆45Updated 7 months ago
- rewrite rules for type-level equalities☆62Updated 3 months ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 3 months ago
- Fine-grained lattice primitives for Haskell☆37Updated 5 months ago
- ☆24Updated this week
- Haskell bindings to Halide☆20Updated last year
- A library to profile time in a Haskell program☆19Updated 4 months ago
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- ☆35Updated last year
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated last year
- A collection of Edward Kmett's packages in a single repository☆16Updated 4 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆45Updated last month