Popular repositories Loading

1. deduce deduce Public

   A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

   Python 113 8

2. abstract-binding-trees abstract-binding-trees Public

   Abstract binding trees (abstract syntax trees plus binders), as a library in Agda

   Agda 75 5

3. B629-denotational B629-denotational Public

   Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University

   TeX 72 3

4. gradual-typing-in-agda gradual-typing-in-agda Public

   Formalizations of Gradually Typed Languages in Agda

   TeX 57 5

5. B522-PL-Foundations B522-PL-Foundations Public

   Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University

   Agda 53 7

6. featherweight-C featherweight-C Public

   Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine

   C++ 26 2