Pinned Repositories
parse_duration
Parses a duration from a string.
Checked
Implements a wrapper over the primitive Rust types that better indicates overflow during arithmetic.
DuoData
Adds interesting data to the Duolingo interface in easier to access locations.
DuolingoCourseSwitcher
Simplifies switching between courses that use different interface language (i.e., base language, the language from which you learn). Modified to work with the new Duolingo WebVersion.
transcriptions
Lilypond source files for drumline transcriptions and compositions.
Duolingo-Course-Hider
Hides extra base languages in Duolingo.
HoTT
Homotopy type theory
mupen64plus-ui-python
A frontend for Mupen64Plus
book
A textbook on informal homotopy type theory
zeta12ti's Repositories
zeta12ti/parse_duration
Parses a duration from a string.
zeta12ti/mupen64plus-ui-python
A frontend for Mupen64Plus
zeta12ti/transcriptions
Lilypond source files for drumline transcriptions and compositions.
zeta12ti/Checked
Implements a wrapper over the primitive Rust types that better indicates overflow during arithmetic.
zeta12ti/HoTT
Homotopy type theory
zeta12ti/DuolingoCourseSwitcher
Simplifies switching between courses that use different interface language (i.e., base language, the language from which you learn). Modified to work with the new Duolingo WebVersion.
zeta12ti/DuoData
Adds interesting data to the Duolingo interface in easier to access locations.
zeta12ti/Duolingo-Course-Hider
Hides extra base languages in Duolingo.