Skip to content
View DesyncTheThird's full-sized avatar
🌺
fumo ᗜˬᗜ
🌺
fumo ᗜˬᗜ
22 followers · 17 following

Achievements

Achievement: Pair Extraordinairex2Achievement: StarstruckAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pair Extraordinairex2Achievement: StarstruckAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Highlights

  • Pro

Organizations

@Warwick-Maths-Society

Block or report DesyncTheThird

Report abuse

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

Report abuse
DesyncTheThird/README.md

GitHub Streak Language Stats

I'm a PhD candidate at the Mathematically Structured Programming Group at
the University of Strathclyde, specialising in homotopy type theory and category theory;
I have previously studied algebraic topology, combinatorics, and set theory at Warwick.

Selected works and projects:

github contribution grid snake animation

Heliotrope Logo

Pinned Loading

  1. corne-keymap corne-keymap Public

    QMK keymap for the Corne keyboard, optimised for writing (La)TeX, Agda, and C.

    C 25 5

  2. Reference-Book Reference-Book Public

    A mathematics reference book.

    HTML 8

  3. PGF-TikZ PGF-TikZ Public

    Notes, demos, and template files for a PGF/TikZ course I'm teaching.

    TeX

  4. images images Public

    2

  5. mgsium/102_comb_lean mgsium/102_comb_lean Public

    Lean proofs of (some) problems from the book "102 Combinatorial Problems"

    Lean 9 3

  6. LaTeX Snippets LaTeX Snippets
    1 
    global
    2 
    function math(context) {
    3 
     return context.scopes.some(s => s.startsWith("meta.math"));
    4 
    }
    5 
    endglobal