Skip to content
View maxwell-thum's full-sized avatar

Block or report maxwell-thum

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. typst-pf3 typst-pf3 Public

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

    3

  2. glove80-zmk-config glove80-zmk-config Public

    need mouse keys. config

    Nix 1

  3. LeanCamCombi_blueprinttest LeanCamCombi_blueprinttest Public

    Forked from YaelDillies/LeanCamCombi

    Testing out leanblueprint

    Lean

  4. DDG_Lean3 DDG_Lean3 Public

    Formalizing Discrete Differential Geometry in Lean 3.

    Lean

  5. typst typst Public

    Forked from typst/typst

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

    Rust

  6. zmk-moergo zmk-moergo Public

    Forked from zemackdaddy/zmk-moergo

    Trying to get mouse keys working on Glove80

    C