jyp / linear-smcLinks
Linear Types, Symmetric Monoidal Categories, and Tensors
☆13Updated 2 months ago
Alternatives and similar repositories for linear-smc
Users that are interested in linear-smc are comparing it to the libraries listed below
Sorting:
- Agda category theory library for denotational design☆54Updated last month
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆21Updated last year
- Session Types with Priority in Linear Haskell☆27Updated last year
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 4 months ago
- Agda-style equational reasoning in Haskell☆54Updated 8 months ago
- A non-interactive proof assistant using the Haskell type system☆38Updated 5 years ago
- experiments with pext/pdep and codebruijn syntax☆17Updated 6 years ago
- a library for experimental linear lambda calculus☆20Updated 2 years ago
- Haskell library for doing category theory with a central role for profunctors☆24Updated 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 5 months ago
- Compiler backend for generating Scheme code☆28Updated 3 weeks ago
- Interpret Haskell programs into any cartesian closed category.☆67Updated 2 weeks ago
- Eventually a practical 2-level TT-based compiler☆29Updated last week
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆15Updated 2 years ago
- Formal specification of the Haskell Language Report☆29Updated last month
- A library for doing generic programming in Agda☆34Updated 4 years ago
- Generic functions for single-sorted first-order structural unification☆45Updated 7 months ago
- An efficient graph library for Haskell☆40Updated 3 months ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆36Updated 9 months ago
- Existential type.☆37Updated 11 months ago
- Type Your Matrices For Great Good☆29Updated 5 years ago
- A compiler that translates a form of lambda calculus to C☆12Updated last year
- classical sequent calculus, embedded in Haskell☆21Updated 3 months ago
- ☆29Updated 3 years ago
- Ghosts of Departed Proofs☆62Updated 5 years ago
- Fast equality saturation in Haskell☆92Updated this week
- NbE course @ Chalmers☆28Updated last year
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)☆21Updated 12 years ago