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
  ☆64Updated last week
• 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
• functional-data-structure / finger-tree
  Finger tree data structure for JavaScript
  ☆26Updated last week
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 8 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
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• andrejbauer / marshall
  Real number computation software
  ☆125Updated 2 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆62Updated 4 years ago
• agda-attic / agda-frp-js
  ECMAScript back end for Functional Reactive Programming in Agda
  ☆104Updated 7 years ago
• xgrommx / agda-ecosystem
  ☆30Updated 7 years ago
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆57Updated 12 years ago
• emilypi / group-theory
  The theory of groups
  ☆78Updated last year
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆79Updated last year
• polytypic / prettier-printer
  A pretty printing library
  ☆25Updated 6 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 2 years ago
• ekmett / algebra
  constructive abstract algebra
  ☆103Updated 5 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆58Updated last week
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆23Updated last month
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated 9 months ago
• rzrn / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆62Updated 3 weeks ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆54Updated 9 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆19Updated 7 years ago
• tweag / inline-js
  Call JavaScript from Haskell, and vice versa!
  ☆136Updated 9 months ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆60Updated 8 years ago
• bjornbm / dimensional
  Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
  ☆112Updated 8 months ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• relrod / ct
  My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
  ☆14Updated 5 years ago
• sweirich / graded-haskell
  Graded Dependent Type systems
  ☆24Updated last year