Popular repositoriesLoading

1. agda-from-nothingagda-from-nothingPublic

   A workshop on learning Agda with minimal prerequisites.

   Agda 85 6

2. greek-grammargreek-grammarPublic

   Modeling Ancient Greek Grammar

   Agda 50 7

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

   Agda from Nothing: Order in the Types

   Agda 13

4. agda-travisagda-travisPublic

   Example repo for building Agda files with Travis CI

   Agda 7 1

5. sblgnt-osissblgnt-osisPublic

   SBL Greek New Testament in OSIS XML format.

   5 2

6. ucducdPublic

   Unicode Character Database version history with normalized filenames

   HTML 4