Tools for managing the TeX sources of the Stacks project
☆16Jun 8, 2024Updated 2 years ago
Alternatives and similar repositories for stacks-tools
Users that are interested in stacks-tools are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The website for the Stacks project☆19May 22, 2018Updated 8 years ago
- LaTeX version of Grothendieck's Pursuing Stacks☆55Oct 20, 2021Updated 5 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆34Updated this week
- Some CSS experiments for arXiv HTML documents converted via latexml☆21Oct 4, 2026Updated 3 weeks ago
- Simplify writing quantum assembly code☆13Nov 13, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Repository for the Stacks Project☆1,060Jul 28, 2026Updated 3 months ago
- Recalling node properties from a knowledge graph☆20Sep 23, 2022Updated 4 years ago
- ☆11Feb 25, 2025Updated last year
- Code powering the π-Base☆13Jul 7, 2026Updated 3 months ago
- ☆20Dec 2, 2019Updated 6 years ago
- Auto-linking for Mathematical Concepts for PlanetMath.org, Wikipedia, and beyond.☆20Aug 10, 2018Updated 8 years ago
- Calculus textbooks for University of Lethbridge☆11Aug 8, 2019Updated 7 years ago
- ☆28Sep 8, 2023Updated 3 years ago
- longdivision latex package☆11Nov 17, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Github mirror of MediaWiki extension Math - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_ac…☆25Updated this week
- Computes the alpha complex of a point set in any dimension☆14Mar 10, 2015Updated 11 years ago
- Implementation of the paper "Surface Map Homology Inference"☆11Nov 17, 2021Updated 4 years ago
- Marathon finishing times☆10Aug 11, 2016Updated 10 years ago
- Live viewer for reStructuredText (RST) documents.☆12Apr 3, 2026Updated 6 months ago
- Code for blog post on r-squared☆13Jul 25, 2016Updated 10 years ago
- Our first-year mathematics graduate school notes☆12Dec 20, 2021Updated 4 years ago
- 韦编: A Note System Powered by Typst☆19Aug 12, 2026Updated 2 months ago
- Basic Analysis, undergraduate real analysis textbook☆95Jul 24, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Virtual notebook that Evan uses for his PhD thesis.☆12May 26, 2026Updated 5 months ago
- A mathquill-like interactive math input in a terminal, built with the charm TUI library.☆10Sep 11, 2026Updated last month
- An English translation of Deligne's three "Hodge theory" papers☆15Sep 21, 2026Updated last month
- The main source code for Regina☆42Updated this week
- ☆13Oct 31, 2021Updated 4 years ago
- ☆12Jul 21, 2021Updated 5 years ago
- 几何表达式仓库☆11Sep 15, 2026Updated last month
- An emacs package for creating images from source code buffers using silicon☆18Feb 17, 2025Updated last year
- Open-source LaTeX equation editor/scratch pad for the web with live preview and syntax highlighting.☆10Oct 2, 2026Updated 3 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- repository for the collaborative formalization seminar in Analysis in Bonn☆11May 1, 2026Updated 5 months ago
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Oct 22, 2026Updated last week
- Source for the community blog☆11Updated this week
- 🐧 Some (personal) linux configs & scripts for systemd, bash, nginx, etc. Used mostly in a Debian 9 (Stretch) env.☆13Dec 24, 2019Updated 6 years ago
- A clean no-jargon mathematical definition of transforrmer language model with a Python implementation that focuses on clarity rather than…☆11Jul 23, 2022Updated 4 years ago
- a third-party wechat client by vue - 微信第三方网页客户端☆16May 23, 2016Updated 10 years ago
- ☆20Oct 20, 2026Updated last week