maxwell-thum

Pinned Repositories

DDG_Lean3
Formalizing Discrete Differential Geometry in Lean 3.
Language:Lean0 1 00
glove80-zmk-config
need mouse keys. config
Language:Nix1 1 00
LeanCamCombi_blueprinttest
Testing out leanblueprint
Language:Lean00
typst
A new markup-based typesetting system that is powerful and easy to learn.
Language:Rust0 0 00
typst-pf3
Port (not 1-1) of Leslie Lamport's `pf2.sty` LaTeX style to Typst.
3 1 00
zmk
ZMK Firmware Repository for MoErgo Glove80 keyboard
Language:C00
zmk-config
need mouse keys
00
zmk-moergo
Trying to get mouse keys working on Glove80
Language:C00
awesome-typst
Awesome Typst Links
Language:Earthly2k 26 26120
typst
A new markup-based typesetting system that is powerful and easy to learn.
Language:Rust31.1k 86 2.2k836

maxwell-thum's Repositories

maxwell-thum/typst-pf3
Port (not 1-1) of Leslie Lamport's `pf2.sty` LaTeX style to Typst.
3 1 00
maxwell-thum/glove80-zmk-config
need mouse keys. config
Language:Nix1 1 00
maxwell-thum/DDG_Lean3
Formalizing Discrete Differential Geometry in Lean 3.
Language:Lean0 1 00
maxwell-thum/LeanCamCombi_blueprinttest
Testing out leanblueprint
Language:Lean00
maxwell-thum/typst
A new markup-based typesetting system that is powerful and easy to learn.
Language:Rust0 0 00
maxwell-thum/zmk
ZMK Firmware Repository for MoErgo Glove80 keyboard
Language:C00
maxwell-thum/zmk-config
need mouse keys
00
maxwell-thum/zmk-moergo
Trying to get mouse keys working on Glove80
Language:C00