Public repository for Abstact Algebra Theory and Applications
☆190Apr 14, 2026Updated 3 weeks ago
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:
- PreTeXt: an authoring and publishing system for scholarly documents☆442Apr 18, 2026Updated 2 weeks ago
- "A First Course in Linear Algebra" open source textbook☆71Apr 11, 2026Updated 3 weeks ago
- Something about C language.☆10Nov 13, 2020Updated 5 years ago
- Basic Analysis, undergraduate real analysis textbook☆87Updated this week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Aug 16, 2013Updated 12 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆27Sep 15, 2025Updated 7 months ago
- 华南师范大学Beamer模板☆15Nov 11, 2020Updated 5 years ago
- Command line interface for quickly creating, authoring, and building PreTeXt documents.☆24Apr 21, 2026Updated 2 weeks ago
- ☆15Apr 28, 2026Updated last week
- Elementary Number Theory: Primes, Congruences, and Secrets☆114Aug 5, 2023Updated 2 years ago
- A VS Code extension supporting for Picat language☆18Oct 27, 2018Updated 7 years ago
- P.D. Magnus' forallx logic textbook☆70Mar 30, 2025Updated last year
- A curated list of cryptography papers, articles, tutorials and howtos.☆10Feb 19, 2024Updated 2 years ago
- ☆29Jun 23, 2022Updated 3 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.
- A template for creating a PreTeXt project that runs in GitHub Codespaces☆26Apr 21, 2026Updated 2 weeks ago
- 📚 (WIP) Formal proofs of "An Infinitely Large Napkin"☆23Feb 18, 2026Updated 2 months ago
- Work in progress on semi-simplicial types☆24Dec 15, 2022Updated 3 years ago
- Formalizing results about the Mandelbrot set in Lean☆30Dec 31, 2025Updated 4 months ago
- LaTeX version of Grothendieck's Pursuing Stacks☆53Oct 20, 2021Updated 4 years ago
- Extension of MultivariatePolynomials to semialgebraic sets☆22Apr 19, 2026Updated 2 weeks ago
- Library for exact real number computations☆41Apr 5, 2015Updated 11 years ago
- Traits: general usage traits.☆14Dec 10, 2014Updated 11 years ago
- A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]☆46Jul 14, 2024Updated last year
- 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.
- 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
- [READ-ONLY] Subtree split of the Silex Providers -- clone into Silex/Provider/ (master at silexphp/Silex)☆27Jun 2, 2018Updated 7 years ago
- ScalikeJDBC DSL by Free Monad☆15Oct 2, 2016Updated 9 years ago
- Zero-related bugs in 4 BLS libs & standard draft,"splitting zero" attacks, $35000 award☆17Aug 20, 2021Updated 4 years ago
- The ElectionGuard SDK Reference Verifier enables the verification of election ballots, tallies, and proofs generated by the ElectionGuard…☆44Jun 6, 2022Updated 3 years ago
- Tools for creating binary tarballs☆16Aug 23, 2021Updated 4 years ago
- FreeTikZ☆42Feb 2, 2018Updated 8 years ago
- define ZF Set Theory in Agda and it's model on Ordinal and Ordinal Definable Set☆14Nov 14, 2025Updated 5 months ago
- A textbook on informal homotopy type theory☆2,145Nov 23, 2025Updated 5 months 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.
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆62Apr 16, 2026Updated 2 weeks ago
- Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄☆20Aug 12, 2024Updated last year
- ☆15Oct 24, 2017Updated 8 years ago
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 4 years ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆11Aug 27, 2022Updated 3 years ago
- Send packets to a RADIUS server and show reply☆18Mar 21, 2015Updated 11 years ago