plfa / plfa.github.io
An introduction to programming language theory in Agda
☆1,355Updated this week
Related projects: ⓘ
- Agda is a dependently typed programming language / interactive theorem prover.☆2,466Updated this week
- papers of Per Martin Löf☆744Updated 7 months ago
- Liquid Types For Haskell☆1,181Updated this week
- An axiom-free formalization of category theory in Coq for personal study and practical work☆746Updated 2 weeks ago
- A dependently typed programming language, a successor to Idris☆902Updated 4 years ago
- A List of Foundational Haskell Papers☆862Updated 2 years ago
- Miscellaneous articles. The readme is the table of contents.☆1,249Updated last year
- A collaborative bibliography of work related to the theory and practice of computational effects☆951Updated last month
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆694Updated 3 years ago
- Industrial-strength monadic parser combinator library☆910Updated last week
- Experimental implementation of Cubical Type Theory☆567Updated 11 months ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,019Updated last year
- The Agda standard library☆570Updated this week
- A Coq library for Homotopy Type Theory☆1,243Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆588Updated 4 months ago
- A monadic parser combinator library☆842Updated 4 months ago
- higher-order, no-boilerplate monads☆1,033Updated 2 months ago
- Software Foundations in Idris☆452Updated 5 years ago
- Minimal implementations for dependent type checking and elaboration☆600Updated last month
- Very low feature GHCi based IDE☆1,130Updated 6 months ago
- A little course to learn about some of the more obscure GHC extensions.☆637Updated 10 months ago
- A formatter for Haskell source code☆950Updated this week
- Algebraic graphs☆715Updated 4 months ago
- A gently curated list of companies using Haskell in industry☆933Updated this week
- A new Categories library for Agda☆363Updated last week
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆278Updated 7 months ago
- A fast, flexible, fused effect system for Haskell☆642Updated 3 weeks ago
- An introductory course to Homotopy Type Theory☆358Updated 4 years ago
- Nix and Haskell in production☆1,136Updated 11 months ago
- A purely functional programming language with first class types☆2,491Updated this week