Alternatives and similar repositories for tikzzz

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

• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 2 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated this week
• 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
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆42Updated last year
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆67Updated last year
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆29Updated 3 years ago
• rocq-community / buchberger
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆10Updated last year
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆30Updated 2 months ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated last year
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆13Updated 9 months ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• MarcdeFalco / MarcdeFalco.github.io
  ☆1Updated 2 years ago
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆12Updated 7 months ago
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆28Updated this week
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• mp2i-info / mp2i-info.github.io
  Cours d'informatique en MP2I (OCaml, C, SQL)
  ☆43Updated 11 months ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆26Updated 7 months ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆37Updated 3 years ago
• lecopivo / scientific-computing-lean
  work in progress book on Scientific Computing in Lean
  ☆13Updated 3 months ago
• kendfrey / rubiks-cube-group
  A formalization of the Rubik's cube group
  ☆27Updated 4 years ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆43Updated 2 weeks ago
• nomeata / lean-calcify
  ☆32Updated last week
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆37Updated 3 months ago