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
• polytypic / prettier-printer
  A pretty printing library
  ☆24Updated 6 years ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆82Updated this week
• forked-from-1kasper / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆57Updated last week
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated last week
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆40Updated 2 weeks ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆64Updated this week
• nomeata / loogle
  Mathlib search tool
  ☆85Updated this week
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 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.
  ☆85Updated 4 years ago
• csicar / purescript-generic-graphviz
  library for generating graphviz visualizations using purescript generics
  ☆23Updated 4 years ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆37Updated 5 years ago
• rzk-lang / hottbook
  HoTT Book formalisations in Rzk.
  ☆17Updated last year
• anthonyywangmath / tikzsd
  A program for generating LaTeX TikZ code for string diagrams.
  ☆18Updated 3 years ago
• djvelleman / HTPILeanPackage
  ☆28Updated 3 months ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆47Updated last week
• jldodds / coq-lean-cheatsheet
  A quick reference for mapping Coq tactics to Lean tactics
  ☆72Updated 3 years ago
• diracdeltafunk / SmallCategories
  A database of small finite categories
  ☆14Updated last year
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆62Updated last year
• gebner / trepplein
  Lean type-checker written in Scala.
  ☆35Updated 3 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• affeldt-aist / coq-robot
  Mathematics of Rigid Body Transformationss using Coq and MathComp
  ☆26Updated 10 months ago
• BebeSparkelSparkel / biparsing
  Bidirectional Parsing. Work in Progress
  ☆32Updated 6 months ago
• chasenorman / CanonicalLean
  A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
  ☆25Updated this week
• justinwoo / purescript-bismuth
  A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes
  ☆19Updated 7 years ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆68Updated last week
• Trebor-Huang / vscode-forester
  VSCode support for Forester
  ☆19Updated 10 months ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• jamievicary / globular
  Globular
  ☆39Updated 6 years ago