Public repository for Abstact Algebra Theory and Applications
☆196Sep 6, 2026Updated last month
Alternatives and similar repositories for aata
Users that are interested in aata are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Oct 15, 2026Updated 2 weeks ago
- ☆14Oct 24, 2026Updated last week
- PreTeXt: an authoring and publishing system for scholarly documents☆466Updated this week
- In-progress conversion of APEX Calculus to PreTeXt☆15Updated this week
- Tea Time Numerical Analysis☆27Sep 18, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- P.D. Magnus' forallx logic textbook☆70Mar 30, 2025Updated last year
- LaTeX version of Grothendieck's Pursuing Stacks☆55Oct 20, 2021Updated 5 years ago
- A template for creating a PreTeXt project that runs in GitHub Codespaces☆28Oct 24, 2026Updated last week
- Jupyter wrapper kernel for singular☆11Jun 12, 2024Updated 2 years ago
- Command line interface for quickly creating, authoring, and building PreTeXt documents.☆27Oct 24, 2026Updated last week
- Deposited packages of the homalg project☆20Jul 19, 2026Updated 3 months ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆28Sep 15, 2025Updated last year
- Richard Hammack Web Page☆25Updated this week
- SageMath integration for Lean4☆15Oct 9, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Proc-macro to write an automatic fix for the "hidden lifetime in impl Trait" issue☆11Nov 22, 2024Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆31Aug 16, 2013Updated 13 years ago
- 📚 (Merged) Formal proofs of "An Infinitely Large Napkin"☆29Aug 1, 2026Updated 2 months ago
- Cheat sheet for Haskellers wanting to get up to speed with category theory☆12Mar 4, 2020Updated 6 years ago
- Repository for Understanding Linear Algebra☆12Sep 18, 2026Updated last month
- LaTeX grammar for tree-sitter☆11Feb 4, 2019Updated 7 years ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Jun 15, 2026Updated 4 months ago
- i18n library for Lean.☆14Oct 22, 2026Updated last week
- A Library of Number Theory Code that depends on Sage (http://sagemath.org)☆13Jan 29, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Repository for the Stacks Project☆1,060Jul 28, 2026Updated 3 months ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆116Aug 5, 2023Updated 3 years ago
- An Infinitely Large Napkin☆1,989Oct 23, 2026Updated last week
- ☆11Feb 13, 2025Updated last year
- Julia package for the Singular library☆20Oct 12, 2021Updated 5 years ago
- Convert .rst to .ipynb☆19Oct 4, 2023Updated 3 years ago
- Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …☆71Mar 28, 2023Updated 3 years ago
- Extension of MultivariatePolynomials to semialgebraic sets☆24Sep 21, 2026Updated last month
- Tools for creating binary tarballs☆16Aug 23, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆32Updated this week
- Successor to PolyBoRi☆24Sep 1, 2026Updated last month
- Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄☆20Aug 12, 2024Updated 2 years ago
- Julia package for the Singular library☆36Updated this week
- Hosts the website for mathlib and other Lean community infrastructure.☆85Updated this week
- Notes on how to use the internal language of toposes in algebraic geometry☆67Jul 17, 2026Updated 3 months ago
- Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To cont…☆10Nov 17, 2024Updated last year