Alternatives and similar repositories for tikzzz

Users that are interested in tikzzz are comparing it to the libraries listed below

• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated 11 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆52Updated 2 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆14Updated last month
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆30Updated 2 months ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 7 months ago
• zmwangx / Typeset-EGA-SGA
  Typeset version of EGA and SGA by Grothendieck.
  ☆12Updated 11 years ago
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆12Updated 6 months ago
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• sinhp / ProofLab
  ☆9Updated 2 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• loopspace / spath3
  TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.
  ☆20Updated last week
• thosgood / hodge-theory
  An English translation of Deligne's three "Hodge theory" papers
  ☆11Updated last week
• brown-cs22 / CS22-Lean-2023
  Lean course materials for Brown CS 22, Spring 2023
  ☆20Updated last year
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 3 months ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• mp2i-info / mp2i-info.github.io
  Cours d'informatique en MP2I (OCaml, C, SQL)
  ☆43Updated 11 months ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆12Updated 9 months ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆14Updated 8 months ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆29Updated last year
• rocq-community / buchberger
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆10Updated last year
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• leo-colisson / zx-calculus
  A package to typeset ZX calculus directly in LaTeX.
  ☆17Updated last year
• LocalCharts / silviculture
  ☆16Updated 11 months ago
• thosgood / sga
  An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
  ☆33Updated 3 months ago
• siraben / coq-wigderson
  Formalization of Wigderson's graph coloring algorithm in Coq
  ☆9Updated last year
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆42Updated last year
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year