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 last year
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆61Updated 4 years ago
• jamievicary / globular
  Globular
  ☆39Updated 6 years ago
• polytypic / prettier-printer
  A pretty printing library
  ☆24Updated 6 years ago
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆57Updated 12 years ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆83Updated 4 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆64Updated 11 months ago
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 5 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆80Updated this week
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆39Updated this week
• josephjunker / static-land-recursion-schemes
  Javascript recursion schemes compatible with flow-static-land
  ☆22Updated 7 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 5 months ago
• jscert / jsexplain
  ☆26Updated 2 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• anthonyywangmath / tikzsd
  A program for generating LaTeX TikZ code for string diagrams.
  ☆18Updated 3 years ago
• pamellies / lambda-calculus-and-categories
  A repository for the material of my course on lambda-calculus and categories
  ☆41Updated 4 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• diagrams / diagrams-pandoc
  A pandoc filter to express diagrams inline using the haskell EDSL diagrams.
  ☆38Updated last year
• jldodds / coq-lean-cheatsheet
  A quick reference for mapping Coq tactics to Lean tactics
  ☆70Updated 3 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 6 months ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated 3 weeks ago
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆36Updated 2 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• coq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆47Updated 5 months ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆29Updated 4 years ago
• vmchale / morphism-zoo
  Some examples of recursion schemes, with benchmarks
  ☆10Updated 7 years ago