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
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 3 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated 5 months ago
• jamievicary / globular
  Globular
  ☆39Updated 7 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆60Updated last month
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆81Updated 2 years ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆84Updated 4 years ago
• jldodds / coq-lean-cheatsheet
  A quick reference for mapping Coq tactics to Lean tactics
  ☆71Updated 4 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆44Updated 5 years ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆50Updated 2 years ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆119Updated 3 years ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆95Updated 2 years ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆80Updated 3 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆73Updated 5 years ago
• ekmett / algebra
  constructive abstract algebra
  ☆104Updated 5 years ago
• andrejbauer / marshall
  Real number computation software
  ☆128Updated 3 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated last year
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆136Updated last year
• ToposInstitute / poly
  ☆119Updated last year
• homotopy-io / homotopy-webclient
  ☆27Updated last year
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 6 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• OPLSS / introduction-to-algebraic-effects-and-handlers
  Introduction to algebraic effects and handlers
  ☆98Updated 7 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆63Updated 4 years ago
• rzrn / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆74Updated 3 weeks ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆125Updated last year
• leanprover-community / tutorials
  Some Lean tutorials
  ☆183Updated 2 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆82Updated 5 years ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated 2 years ago