plfa / plfa.github.ioLinks
An introduction to programming language theory in Agda
☆1,486Updated last week
Alternatives and similar repositories for plfa.github.io
Users that are interested in plfa.github.io are comparing it to the libraries listed below
Sorting:
- Liquid Types For Haskell☆1,288Updated this week
- papers of Per Martin Löf☆809Updated 2 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆792Updated 3 weeks ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,059Updated 7 months ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,111Updated 3 months ago
- Agda is a dependently typed programming language / interactive theorem prover.☆2,787Updated this week
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆737Updated 4 years ago
- The Agda standard library☆644Updated this week
- A dependently typed programming language, a successor to Idris☆900Updated 5 years ago
- A List of Foundational Haskell Papers☆886Updated last year
- Algebraic graphs☆750Updated 2 weeks ago
- Industrial-strength monadic parser combinator library☆971Updated this week
- Minimal implementations for dependent type checking and elaboration☆761Updated last week
- A demo implementation of a simple dependently-typed language☆617Updated last year
- Miscellaneous articles. The readme is the table of contents.☆1,306Updated 2 years ago
- A Coq library for Homotopy Type Theory☆1,368Updated last week
- Experimental implementation of Cubical Type Theory☆597Updated 2 years ago
- I'm trying to update the Real World Haskell book☆798Updated 2 years ago
- Software Foundations in Idris☆457Updated 6 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆699Updated 3 weeks ago
- An introductory course to Homotopy Type Theory☆375Updated 5 years ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆705Updated last month
- The Arend Proof Assistant☆736Updated 11 months ago
- A monadic parser combinator library☆883Updated 7 months ago
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,078Updated 3 weeks ago
- higher-order, no-boilerplate monads☆1,076Updated 10 months ago
- An experimental library for Cubical Agda☆532Updated last week
- A purely functional programming language with first class types☆2,849Updated 3 weeks ago
- A new Categories library for Agda☆397Updated 2 weeks ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆418Updated last week