Alternatives and similar repositories for stacks-tools:

Users that are interested in stacks-tools are comparing it to the libraries listed below

• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆51Updated this week
• OpenMath / py-openmath
  An OpenMath 2.0 implementation in Python
  ☆15Updated 4 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated last year
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆47Updated 2 years ago
• latex3 / iftex
  tex engine detection
  ☆15Updated last month
• jirilebl / scv
  Tasty Bits of Several Complex Variables, graduate textbook
  ☆15Updated 3 weeks ago
• sagemath / sagetex
  Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …
  ☆61Updated last year
• mgubi / tm-jupyter
  A Jupyter client for TeXmacs
  ☆9Updated 3 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated 2 months ago
• slowphil / zotexmacs
  Have Zotero interact with TeXmacs
  ☆26Updated 2 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆28Updated 9 months ago
• CategoricalData / FQL
  Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky
  ☆10Updated 5 years ago
• XimeraProject / ximeraLatex
  Author tools for creating Ximera activities
  ☆40Updated this week
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆26Updated 6 years ago
• michal-h21 / rdfref
  Cross-referencing system for LaTeX, inspired with RDF
  ☆16Updated 3 months ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 3 months ago
• sebasguts / jupyter_kernel_singular
  Jupyter wrapper kernel for singular
  ☆10Updated 8 months ago
• lierdakil / mathjax-pandoc-filter
  Nodejs implementation of pandoc filter to turn TeX math into embedded SVG
  ☆22Updated 2 years ago
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated last year
• mikeshulman / basictex
  My basic LaTeX macros and BibTeX file.
  ☆13Updated 2 years ago
• langsci / langscibook
  LaTeX class and additions for typesetting books
  ☆35Updated 2 weeks ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆32Updated last year
• oscarlevin / pandoc-pretext
  A custom Lua writer to convert anything pandoc reads to PreTeXt.
  ☆13Updated 6 months ago
• thosgood / fga
  An English translation of Grothendieck's Fondements de la Géometrie Algébrique
  ☆17Updated last month
• probonto / ontology
  ☆15Updated last year
• thosgood / sga
  An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
  ☆31Updated last week