Tools for managing the TeX sources of the Stacks project
☆17Jun 8, 2024Updated last year
Alternatives and similar repositories for stacks-tools
Users that are interested in stacks-tools are comparing it to the libraries listed below
Sorting:
- Övningar och uppgifter från Programmering 1 - Python - 3:e upplagans lärobok och arbetsbok☆15Apr 11, 2021Updated 4 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Feb 21, 2026Updated last week
- Auto-linking for Mathematical Concepts for PlanetMath.org, Wikipedia, and beyond.☆19Aug 10, 2018Updated 7 years ago
- Github mirror of MediaWiki extension Math - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_ac…☆25Feb 21, 2026Updated last week
- ☆24Jun 25, 2025Updated 8 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Aug 16, 2013Updated 12 years ago
- Steam link Bluetooth controller Companion. Support for keyboard and mouse.☆10Oct 18, 2018Updated 7 years ago
- Kan: A browser extension for reading nLab☆34Oct 2, 2018Updated 7 years ago
- ☆22Dec 3, 2024Updated last year
- LaTeX version of Grothendieck's Pursuing Stacks☆53Oct 20, 2021Updated 4 years ago
- Basic Analysis, undergraduate real analysis textbook☆88Updated this week
- The main source code for Regina☆39Feb 13, 2026Updated 2 weeks ago
- Automatically exported from code.google.com/p/xml2rfc-xxe☆11Jul 9, 2022Updated 3 years ago
- A tools for the automatic construction of Distribution Thesauri☆19Oct 13, 2020Updated 5 years ago
- 14年使用socketio做的一个聊天室😂☆13Feb 5, 2023Updated 3 years ago
- Updated version of the original EDProxy by westokyo.☆11Jan 14, 2020Updated 6 years ago
- mgarch Package for R-Project☆16Apr 28, 2014Updated 11 years ago
- A php library for working with Table Schema.☆12Jul 28, 2025Updated 7 months ago
- TWRP Source for OnePlus 6T Fajita☆10Nov 1, 2019Updated 6 years ago
- Movie explorer Shiny app☆10Jul 18, 2014Updated 11 years ago
- BoardComputer+ for E:D☆16Mar 6, 2022Updated 3 years ago
- A concise cheat sheet for essential vim commands☆13Mar 31, 2019Updated 6 years ago
- JavaScript knot drawing and identification tool☆10Jul 20, 2016Updated 9 years ago
- Virtual notebook that Evan uses for his PhD thesis.☆10Sep 5, 2025Updated 5 months ago
- Generation and storage of Python wheels for building gcloud-python on Travis.☆13Jan 9, 2018Updated 8 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆13Aug 22, 2019Updated 6 years ago
- Our first-year mathematics graduate school notes☆10Dec 20, 2021Updated 4 years ago
- ☆11May 3, 2023Updated 2 years ago
- ☆15Mar 17, 2025Updated 11 months ago
- SODECL is a library of ordinary differential equation (ODE) and stochastic differential equation (SDE) solvers in OpenCL.☆11Jul 4, 2020Updated 5 years ago
- find larger images☆29Aug 20, 2012Updated 13 years ago
- Web-based formula editor that creates strict content MathML☆11Feb 8, 2022Updated 4 years ago
- Solving Competition Geometry Problems in Lean☆30Aug 26, 2025Updated 6 months ago
- ☆10Nov 22, 2021Updated 4 years ago
- App Engine TCK☆48Dec 20, 2021Updated 4 years ago
- My emacs setup. 25+ years in the making, not counting reboots.☆26Jan 15, 2026Updated last month
- A clean no-jargon mathematical definition of transforrmer language model with a Python implementation that focuses on clarity rather than…☆11Jul 23, 2022Updated 3 years ago
- PostgreSQL and PostGIS adapters forked from IOPro☆14Aug 14, 2024Updated last year
- HOL Guidebook☆12Oct 11, 2024Updated last year