Popular repositories

1. xml-tanach xml-tanach Public

   Hebrew bible XML files from http://tanach.us/

   5 2

2. agda-grammar agda-grammar Public

   Grammars of ancient languages modeled in Agda verified against primary texts

   Agda 3

3. haskell-greek-morph haskell-greek-morph Public

   Ancient Greek morphophonology modeled in Haskell verified against primary texts

   Haskell 3

4. haskell-greek-script haskell-greek-script Public

   Haskell model of ancient Greek script verified against primary texts

   Haskell 2

5. haskell-analysis haskell-analysis Public

   Grammatical analysis of ancient language texts in Haskell

   Haskell 2

6. agda-primary-type agda-primary-type Public

   Types for primary sources of ancient language texts

   Agda 1