stacks / stacks-tools
Tools for managing the TeX sources of the Stacks project
☆16Updated 10 months ago
Alternatives and similar repositories for stacks-tools:
Users that are interested in stacks-tools are comparing it to the libraries listed below
- Tasty Bits of Several Complex Variables, graduate textbook☆17Updated 3 weeks ago
- An OpenMath 2.0 implementation in Python☆15Updated 4 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 6 years ago
- A Jupyter client for TeXmacs☆9Updated 3 years ago
- Jupyter wrapper kernel for singular☆10Updated 10 months ago
- P.D. Magnus' forallx logic textbook☆64Updated 2 weeks ago
- A semantic Extension of TeX/LaTeX☆52Updated 2 weeks ago
- tex engine detection☆16Updated 3 months ago
- Have Zotero interact with TeXmacs☆27Updated 2 years ago
- Sources for OpenDreamKit's website☆16Updated last year
- MathWebSearch Implementation☆48Updated 2 years ago
- Simplicial sets and other combinatorial models of geometric spaces☆35Updated 3 weeks ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- provide a syntax to use amsthm environments in pandoc, with output in LaTeX and HTML☆22Updated 3 years ago
- Lexer and codec to work with LaTeX code in Python. Instead of using latexcodec, I encourage you to consider pylatexenc instead, which is …☆28Updated last year
- Building dynamical systems compositionally☆69Updated 5 months ago
- Webpage creating BibTeX, HTML and Wiki markup for papers on the arXiv.☆12Updated 4 years ago
- "A First Course in Linear Algebra" open source textbook☆67Updated this week
- Commutative diagrams with TikZ☆49Updated 2 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated 11 months ago
- A discursive introduction to Biblatex☆22Updated 7 years ago
- A Julia package for controlling NetLogo☆10Updated 6 years ago
- See https://github.com/sagemathinc/smc instead!☆22Updated 6 years ago
- Material for UK-TUG's LaTeX for Beginners course☆27Updated 2 years ago
- Tim Button's open textbook on set theory☆33Updated last year
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- A Binder repo for SageMath computing environment☆27Updated this week
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆29Updated 4 months ago
- Cross-referencing system for LaTeX, inspired with RDF☆16Updated 4 months ago