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
  ☆37Updated last year
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆61Updated 4 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆47Updated 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.
  ☆82Updated 4 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• jamievicary / globular
  Globular
  ☆39Updated 6 years ago
• forked-from-1kasper / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆52Updated 2 months ago
• gebner / trepplein
  Lean type-checker written in Scala.
  ☆34Updated 2 years ago
• functional-data-structure / finger-tree
  Finger tree data structure for JavaScript
  ☆26Updated this week
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 3 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆79Updated this week
• AndrasKovacs / system-f-omega
  System F-omega normalization by hereditary substitution in Agda
  ☆57Updated 5 years ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆75Updated 9 months ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆67Updated 6 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆68Updated 4 years ago
• anthonyywangmath / tikzsd
  A program for generating LaTeX TikZ code for string diagrams.
  ☆18Updated 3 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated last year
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 7 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆55Updated 6 years ago
• diracdeltafunk / SmallCategories
  A database of small finite categories
  ☆14Updated last year
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 7 years ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆50Updated last year
• byorgey / species
  ☆17Updated last year
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆63Updated last year
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆61Updated 4 months ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆39Updated 2 weeks ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆13Updated 4 months ago