Popular repositories

1. fotc Public

   Agda formalisation of FOTC (First-Order Theory of Combinators).

   Agda 9 2

2. dtfl Public

   Agda code for the course 'Dependently Tped Functional Languages - 2011-1'

   Agda 7 2

3. apia Public

   Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic

   Haskell 4

4. tm-coinduction Public

   Coq 2

5. pdfname Public

   Name a PDF file using information from the `pdfinfo` command

   Haskell 2

6. ltc-plpv-2009 Public

   This repository is obsolete. See the fotc repository instead.