Popular repositories Loading

1. cedille-core-spec cedille-core-spec Public

   Specification of the Cedille Core language

   TeX 29 3

2. cedilleum-spec cedilleum-spec Public

   Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core

   TeX 26 2

3. cedille-core cedille-core Public

   Forked from VictorTaelin/Cedille-Core

   Haskell 8 1

4. dc-recursion-examples dc-recursion-examples Public

   Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in Coq"

   HTML 8

5. ittc ittc Public

   Materials related to the Iowa Type Theory Commute podcast

   TeX 6 2

6. clas-cv clas-cv Public

   Forked from tinelli/clas-cv-template

   Latex template for CLAS-Compliant CV

   TeX