Alternatives and similar repositories for tikzzz

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

• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 6 months ago
• chrisheunen / freetikz
  FreeTikZ
  ☆38Updated 7 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆51Updated 2 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆44Updated 10 months ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year
• loopspace / spath3
  TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.
  ☆20Updated 9 months ago
• Ja1941 / hilberts-axioms
  ☆10Updated 3 years ago
• MarcdeFalco / MarcdeFalco.github.io
  ☆1Updated 2 years ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆30Updated last month
• mp2i-info / mp2i-info.github.io
  Cours d'informatique en MP2I (OCaml, C, SQL)
  ☆43Updated 10 months ago
• sinhp / ProofLab
  ☆9Updated 2 years ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated last year
• thosgood / hodge-theory
  An English translation of Deligne's three "Hodge theory" papers
  ☆11Updated last week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 2 weeks ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• lecopivo / lean4-karray
  ☆13Updated 3 years ago
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆36Updated 2 years ago
• leanprover / lean-client-js
  ☆38Updated last year
• leanprover-community / import-graph
  Tool to analyse the import structure of lean projects.
  ☆11Updated 2 weeks ago
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆12Updated 5 months ago
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 2 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆12Updated 8 months ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago