maxwell-thum's Stars
maxim-saplin/CrossPlatformDiskTest
Windows, macOS and Android storage (HDD, SSD, RAM) speed testing/performance benchmarking app
kouta-kun/Calc-U-Later
Simple calculator for physical numeric keypad phones
zhanghai/MaterialFiles
Material Design file manager for Android
soupslurpr/AppVerifier
Verify apps easily.
formalabstracts/formalabstracts
leanprover/verso
Lean documentation authoring tool
Luew2/capitol-reef
ImperialCollegeLondon/formalising-mathematics
Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
leanprover-community/duper
TodePond/ScreenPond
screens in screens in screens
leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
wodeni/obsidian-penrose-plugin
A plugin for Obsidian that allows you to make diagrams with Penrose (https://penrose.cs.cmu.edu/).
Paper-Proof/paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
AlgebraicJulia/StockFlow.jl
maxwell-thum/typst-pf3
Port (not 1-1) of Leslie Lamport's `pf2.sty` LaTeX style to Typst.
flavio20002/typst-orange-template
The Legrand Orange Book implemented in Typst
Leedehai/typst-physics
physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.
bryanforbes/zmk
ZMK Firmware Repository for MoErgo Glove80 keyboard
zemackdaddy/zmk-moergo
latex2html/latex2html
Converts LaTeX documents to HTML
jskherman/imprecv
A no-frills curriculum vitae (CV) template using Typst and YAML to version control CV data.
Myriad-Dreamin/typst.ts
Run Typst in JavaScriptWorld.
PgBiel/typst-tablex
More powerful and customizable tables in Typst
moergo-sc/zmk
ZMK Firmware Repository for MoErgo Glove80 keyboard
zmkfirmware/zmk
ZMK Firmware Repository
spicetify/cli
Command-line tool to customize Spotify client. Supports Windows, MacOS, and Linux.
clayh53/tufte-jekyll
Minimal Jekyll blog styled to resemble the look and layout of Edward Tufte's books
edwardtufte/tufte-css
Style your webpage like Edward Tufte’s handouts.
jwhear/tufte-handout
A Typst template for "Tufte" style handouts with side notes
Tufte-LaTeX/tufte-latex
A Tufte-inspired LaTeX class for producing handouts, papers, and books