Popular repositories Loading

1. agda-from-nothing agda-from-nothing Public

   A workshop on learning Agda with minimal prerequisites.

   Agda 85 6

2. greek-grammar greek-grammar Public

   Modeling Ancient Greek Grammar

   Agda 51 7

3. agda-from-nothing-2017 agda-from-nothing-2017 Public

   Agda from Nothing: Order in the Types

   Agda 13

4. agda-travis agda-travis Public

   Example repo for building Agda files with Travis CI

   Agda 7 1

5. sblgnt-osis sblgnt-osis Public

   SBL Greek New Testament in OSIS XML format.

   6 2

6. ucd ucd Public

   Unicode Character Database version history with normalized filenames

   HTML 4