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
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆50Updated 2 years ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆82Updated this week
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆64Updated 2 weeks ago
• 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
• kwohlfahrt / purescript-halogen-svg
  ☆22Updated 4 years ago
• functional-data-structure / finger-tree
  Finger tree data structure for JavaScript
  ☆26Updated this week
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆40Updated last month
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• ojsheikh / unicode-latex
  A visual studio code extension to insert Unicode symbols given LaTeX symbol names
  ☆29Updated last year
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆57Updated this week
• stefankoegel / clickyEvaluation
  Visual tool for stepwise evaluation of simple Haskell expressions
  ☆20Updated 5 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆63Updated last year
• ghulette / haskell-parser-examples
  Examples of a simple parser written in both Parsec and Happy/Alex
  ☆51Updated 10 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 3 months ago
• AlecGhost / tree-sitter-vscode
  Bring the power of Tree-sitter to VSCode
  ☆25Updated this week
• diracdeltafunk / SmallCategories
  A database of small finite categories
  ☆14Updated last year
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 7 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 6 months ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 6 months ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆57Updated 12 years ago
• mr-ohman / logrel-mltt
  A Logical Relation for Martin-Löf Type Theory in Agda
  ☆52Updated 7 months ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆93Updated 8 months ago
• AndrasKovacs / system-f-omega
  System F-omega normalization by hereditary substitution in Agda
  ☆58Updated 5 years ago
• zenzike / yoda
  A simple combinator library
  ☆29Updated 6 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆62Updated 4 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago