Skip to content
View glangmead's full-sized avatar

Sponsoring

@jtauber

Block or report glangmead

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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