Alternatives and similar repositories for jsx-tikzcd

Users that are interested in jsx-tikzcd are comparing it to the libraries listed below

• leanprover / lean-client-js
  ☆38Updated 2 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆52Updated 2 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• varkor / tangle
  A modern string diagram editor for the web.
  ☆25Updated last month
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆85Updated 4 years ago
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆40Updated 2 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆58Updated last month
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆62Updated 4 years ago
• andrejbauer / marshall
  Real number computation software
  ☆124Updated 2 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆64Updated this week
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆24Updated this week
• ToposInstitute / poly
  ☆114Updated 10 months ago
• appliedcategorytheory / TikZWD
  A TikZ library of wiring diagrams
  ☆22Updated 6 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• gebner / hott3
  HoTT in Lean 3
  ☆80Updated 4 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated last year
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated 11 months ago
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆41Updated last month
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆24Updated this week
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 7 months ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆28Updated 3 years ago
• rzrn / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆61Updated this week
• leanprover / lean4-cli
  A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
  ☆75Updated this week
• djvelleman / HTPILeanPackage
  ☆30Updated this week
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 7 months ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆97Updated last year
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated last year