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 6 2

3. lotrlcg lotrlcg Public

   Tools to help play The Lord of the Rings LCG digitally

   Swift 1

4. openmusictheory openmusictheory Public

   Forked from hybrid-pedagogy/openmusictheory

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

   CSS

5. shelfcenteredapp shelfcenteredapp Public

   iOS App version of shelfcentered.com

   Swift

6. shelfcentered shelfcentered Public

   Rails app for sharing wishlists, e.g. https://www.shelfcentered.com

   Ruby