yishn / jsx-tikzcd
Render tikzcd diagrams with JSX.
☆59Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for jsx-tikzcd
- ☆34Updated last year
- Formalism and proofs for esverify☆20Updated 6 years ago
- Finger tree data structure for JavaScript☆26Updated this week
- Xy-pic extension for MathJax☆61Updated 3 years ago
- My mathematical Zettelkasten, created using forester.☆78Updated this week
- ☆44Updated last year
- An approach to user interfaces based in denotational design.☆26Updated last year
- A pretty printing library☆24Updated 5 years ago
- Commutative diagrams with TikZ☆46Updated 2 years ago
- library for generating graphviz visualizations using purescript generics☆23Updated 3 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- Globular☆37Updated 6 years ago
- Real number computation software☆121Updated 2 years ago
- Convert, manipulate, analyze, blend, color scales, color schemes☆45Updated 2 years ago
- Physical quantities and units☆54Updated last year
- CoDi: Commutative Diagrams for TeX☆30Updated 7 months ago
- A DSL for the internal language of a topos☆61Updated 7 months ago
- Yoneda lemma in every known language☆17Updated last year
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 6 years ago
- Share your research online by compiling it to JavaScript!☆23Updated 9 years ago
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆82Updated 3 years ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆29Updated 4 months ago
- ☆17Updated 9 months ago
- Diffing of (expression) trees.☆78Updated last month
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆44Updated 4 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- Typeset version of EGA and SGA by Grothendieck.☆12Updated 10 years ago
- Xy-pic extension for MathJax version 3☆35Updated 2 years ago
- ☆34Updated 11 years ago