Popular repositories Loading

1. formalization formalization Public

   Formalization work. Meant to be collaborative. At least Agda and Lean for now.

   Agda 7

2. hott_cmu80818 hott_cmu80818 Public

   Companion code to CMU course on Homotopy Type Theory

   Agda 5 2

3. lotrlcg lotrlcg Public

   Tools to help play The Lord of the Rings LCG digitally

   Swift 1

4. glangmead.github.io glangmead.github.io Public

   HTML 1

5. openmusictheory openmusictheory Public

   Forked from hybrid-pedagogy/openmusictheory

   A growing, online "textbook" for music theory and aural skills

   CSS

6. shelfcenteredapp shelfcenteredapp Public

   iOS App version of shelfcentered.com

   Swift