maxwell-thum

maxwell-thum's Stars

• maxim-saplin/CrossPlatformDiskTest

  Windows, macOS and Android storage (HDD, SSD, RAM) speed testing/performance benchmarking app

  Language:C#49834

• kouta-kun/Calc-U-Later

  Simple calculator for physical numeric keypad phones

  Language:Java1

• zhanghai/MaterialFiles

  Material Design file manager for Android

  Language:Kotlin5.7k384

• soupslurpr/AppVerifier

  Verify apps easily.

  Language:Kotlin22016

• formalabstracts/formalabstracts

  Language:Lean15843

• leanprover/verso

  Lean documentation authoring tool

  Language:Lean10413

• Luew2/capitol-reef

  Language:Go1

• 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

  Language:Lean30123

• leanprover-community/duper

  Language:Lean468

• TodePond/ScreenPond

  screens in screens in screens

  Language:JavaScript1316

• leanprover-community/ProofWidgets4

  Helper toolkit for creating your own Lean 4 UserWidgets

  Language:Lean10224

• wodeni/obsidian-penrose-plugin

  A plugin for Obsidian that allows you to make diagrams with Penrose (https://penrose.cs.cmu.edu/).

  Language:TypeScript11

• Paper-Proof/paperproof

  Lean theorem proving interface which feels like pen-and-paper proofs.

  Language:TypeScript3439

• AlgebraicJulia/StockFlow.jl

  Language:Julia636

• maxwell-thum/typst-pf3

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

  3

• flavio20002/typst-orange-template

  The Legrand Orange Book implemented in Typst

  Language:Typst673

• Leedehai/typst-physics

  physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.

  Language:Typst3108

• bryanforbes/zmk

  ZMK Firmware Repository for MoErgo Glove80 keyboard

  Language:C41

• zemackdaddy/zmk-moergo

  Language:C21

• latex2html/latex2html

  Converts LaTeX documents to HTML

  Language:Perl26739

• jskherman/imprecv

  A no-frills curriculum vitae (CV) template using Typst and YAML to version control CV data.

  Language:Typst32339

• Myriad-Dreamin/typst.ts

  Run Typst in JavaScriptWorld.

  Language:Rust34918

• PgBiel/typst-tablex

  More powerful and customizable tables in Typst

  Language:Typst37012

• moergo-sc/zmk

  ZMK Firmware Repository for MoErgo Glove80 keyboard

  Language:C4758

• zmkfirmware/zmk

  ZMK Firmware Repository

  Language:C2.6k2.7k

• spicetify/cli

  Command-line tool to customize Spotify client. Supports Windows, MacOS, and Linux.

  Language:JavaScript18.1k717

• clayh53/tufte-jekyll

  Minimal Jekyll blog styled to resemble the look and layout of Edward Tufte's books

  Language:SCSS624207

• edwardtufte/tufte-css

  Style your webpage like Edward Tufte’s handouts.

  Language:HTML5.9k458

• jwhear/tufte-handout

  A Typst template for "Tufte" style handouts with side notes

  Language:Shell152

• Tufte-LaTeX/tufte-latex

  A Tufte-inspired LaTeX class for producing handouts, papers, and books

  Language:TeX1.7k297