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
• polytypic / prettier-printer
  A pretty printing library
  ☆25Updated 6 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 7 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆70Updated 5 years ago
• kwohlfahrt / purescript-halogen-svg
  ☆23Updated 4 years ago
• andrejbauer / marshall
  Real number computation software
  ☆125Updated 2 years ago
• agda-attic / agda-frp-js
  ECMAScript back end for Functional Reactive Programming in Agda
  ☆104Updated 7 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆54Updated 2 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 8 months ago
• MikaelMayer / Editor
  Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.
  ☆21Updated last year
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 8 years ago
• dalaing / little-languages
  Playing with DSLs in Haskell
  ☆22Updated 8 years ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆23Updated 2 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated last month
• sharkdp / purescript-quantities
  Physical quantities and units
  ☆53Updated last year
• rzrn / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆63Updated 2 weeks ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆56Updated 6 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
• slindley / dependent-haskell
  ☆35Updated 11 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆19Updated 7 years ago
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 8 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆64Updated 2 weeks ago
• justinwoo / purescript-bismuth
  A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes
  ☆19Updated 7 years ago
• formalabstracts / formalabstracts
  ☆164Updated 5 years ago
• robrix / languages-all-the-way-down
  outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
  ☆20Updated 5 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• ekmett / algebra
  constructive abstract algebra
  ☆103Updated 5 years ago
• pamellies / lambda-calculus-and-categories
  A repository for the material of my course on lambda-calculus and categories
  ☆43Updated 4 years ago
• purescript-contrib / purescript-colors
  Convert, manipulate, analyze, blend, color scales, color schemes
  ☆44Updated 3 years ago