Drawing commutative diagrams for Typst commute
☆27Oct 31, 2023Updated 2 years ago
Alternatives and similar repositories for tikzcd-editor
Users that are interested in tikzcd-editor are comparing it to the libraries listed below
Sorting:
- Jupyter to Typst converter with template support☆19Jun 27, 2025Updated 8 months ago
- A lightweight Computer Algebra System (CAS) written in pure Typst.☆40Feb 22, 2026Updated last month
- Create ribbon-like diagrams in Typst, such as Sankey and Chord diagrams☆38Jan 1, 2026Updated 2 months ago
- A vscode extension for Typst local packages management and synchronization.☆22Nov 30, 2023Updated 2 years ago
- Configurable figure numbering per section in Typst.☆34May 26, 2025Updated 9 months ago
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆80Updated this week
- A template for creating journals in Typst☆12May 14, 2023Updated 2 years ago
- Lean Companion to the Category Theory in Context textbook by Emily Riehl☆29Nov 28, 2025Updated 3 months ago
- uvx is now uvenv☆15Dec 4, 2024Updated last year
- ☆12Mar 4, 2025Updated last year
- ☆21Aug 31, 2025Updated 6 months ago
- It's not ROS... but it is ROS-y! Simple, fast inter-process message passing for distributed Python processes☆11Mar 12, 2026Updated last week
- GoGaucho WebApp☆12Mar 12, 2026Updated last week
- An implementation of numbered theorem environments in typst☆277Jun 17, 2025Updated 9 months ago
- Typst package for drawing diagrams with arrows, built on top of CeTZ.☆951Mar 13, 2026Updated last week
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated 11 months ago
- A Typst package for typesetting pseudocode☆92Feb 26, 2026Updated 3 weeks ago
- Automagic typst package documentation & development☆18Nov 28, 2024Updated last year
- A haptic authoring tool☆11May 19, 2025Updated 10 months ago
- Marginnotes for typst with smart positioning☆80Dec 4, 2025Updated 3 months ago
- Typst Mathematical Expression OCR☆105Mar 25, 2025Updated 11 months ago
- Data Science UCSB's management of GauchoCourses, a quarterly course planner that allows students to see possible schedule combinations fo…☆13Jan 31, 2024Updated 2 years ago
- https://1000-plus.github.io/☆22Feb 11, 2026Updated last month
- A Lean 4 library for iterators.☆14Dec 10, 2023Updated 2 years ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated 9 months ago
- ☆14Feb 26, 2026Updated 3 weeks ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- shiroa is a simple tool for creating modern online books in pure typst.☆613Dec 14, 2025Updated 3 months ago
- Examples using MetaProgramming for writing tactics etc.☆20Nov 26, 2025Updated 3 months ago
- Simple visualized cetz editor☆11Apr 22, 2025Updated 11 months ago
- Some deep learning models written with mxnet and C++11.☆12Feb 6, 2018Updated 8 years ago
- A web based URDF visualizer using three.js☆21Nov 15, 2022Updated 3 years ago
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.☆56Mar 2, 2026Updated 2 weeks ago
- Lie Algebras using Sympy and backend powered by Rust's pyO3 and ndarray☆12Dec 12, 2023Updated 2 years ago
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 3 years ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- ☆12Feb 26, 2024Updated 2 years ago
- A Typst template for "Tufte" style handouts with side notes☆20Jun 30, 2023Updated 2 years ago
- My plugins and packages for typst☆28Jul 5, 2024Updated last year