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