Beast code in Giters

maxwell-thum's repositories

Port (not 1-1) of Leslie Lamport's `pf2.sty` LaTeX style to Typst.

MIT3 10

need mouse keys. config

Language:NixMIT1 10

Formalizing Discrete Differential Geometry in Lean 3.

Language:Lean010

Testing out leanblueprint

Language:LeanApache-2.0000

Source code for the Mathematics in Lean tutorial.

Language:Lean000

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustApache-2.0000

ZMK Firmware Repository for MoErgo Glove80 keyboard

Language:CMIT000

need mouse keys

000

Trying to get mouse keys working on Glove80

Language:CMIT000