Lysxia / gradual-eff-paperLinks
β17Updated last year
Alternatives and similar repositories for gradual-eff-paper
Users that are interested in gradual-eff-paper are comparing it to the libraries listed below
Sorting:
- πͺ A Staged Type Theoryβ35Updated last year
- A package Index for agda librariesβ12Updated 4 years ago
- An efficient graph library for Haskellβ39Updated last month
- Session Types with Priority in Linear Haskellβ27Updated last year
- A compiler that translates a form of lambda calculus to Cβ12Updated last year
- A formalization of System FΟ in Agdaβ17Updated 4 months ago
- β29Updated 3 years ago
- Formalization of the polymorphic lambda calculus and its parametricity theoremβ35Updated 3 months ago
- An implementation of a simple Neural network in Idris using category theory.β23Updated 9 months ago
- Self-contained repository for the eponymous paperβ30Updated 6 years ago
- A Haskell monad transformer library for data validationβ36Updated last year
- Let's rethink how we interact with Agdaβ18Updated 2 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Arrayβ29Updated 4 years ago
- Asymptotically optimal Brodal/Okasaki heapsβ31Updated 6 months ago
- Linear map categories in Agdaβ5Updated 2 years ago
- Fast higher-order effect handlers with evidence passingβ21Updated last year
- OCaml backend for Idris2β19Updated 4 years ago
- Toy implementation of Martin-LΓΆf Type Theoryβ28Updated 2 years ago
- A usable type system for call by push-valueβ33Updated 5 years ago
- Compiler backend for generating Scheme codeβ26Updated last year
- Deciding Presburger arithmetic in agdaβ32Updated 2 years ago
- classical sequent calculus, embedded in Haskellβ20Updated 3 years ago
- Bidirectional programming in Haskell with monadic profunctorsβ46Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogrammingβ57Updated last year
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.β39Updated 4 years ago
- Example uses of linear typesβ43Updated 5 years ago
- Agda suffices: software written from A to Z in Agdaβ16Updated 6 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.β49Updated 5 months ago
- β16Updated 3 years ago
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"β30Updated 10 months ago