Basic Analysis, undergraduate real analysis textbook
☆94Jun 1, 2026Updated last month
Alternatives and similar repositories for ra
Users that are interested in ra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆13Updated this week
- Notes on Diffy Qs, a textbook for differential equations☆83Jun 20, 2026Updated 2 weeks ago
- Tea Time Numerical Analysis☆27Sep 18, 2022Updated 3 years ago
- Tools for managing the TeX sources of the Stacks project☆16Jun 8, 2024Updated 2 years ago
- Calculus textbooks for University of Lethbridge☆11Aug 8, 2019Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Repositorio de ejemplos, macros, plantillas, clases, etc. relacionados con la producción de documentos con LaTeX.☆15Sep 2, 2023Updated 2 years ago
- ☆18Jan 8, 2026Updated 5 months ago
- "A First Course in Linear Algebra" open source textbook☆73Jun 19, 2026Updated 2 weeks ago
- Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to re…☆16Apr 13, 2026Updated 2 months ago
- Euclidean plane and its relatives; a minimalist introduction.☆20Dec 19, 2025Updated 6 months ago
- Open Source Precollege Algebra Textbook☆23Mar 10, 2026Updated 3 months ago
- Belief state estimation for Stanford's CS238/AA228 Decision Making Under Uncertainty☆10Nov 16, 2023Updated 2 years ago
- A Jekyll plugin for fast server-side cached LaTeX rendering, with support for macros. Enjoy the comfort of LaTeX and Markdown without clu…☆39Jul 21, 2025Updated 11 months ago
- PreTeXt: an authoring and publishing system for scholarly documents☆455Updated this week
- 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.
- Övningar och uppgifter från Programmering 1 - Python - 3:e upplagans lärobok och arbetsbok☆19Apr 11, 2021Updated 5 years ago
- A solutions manual for Introduction to Set Theory by Hrbacek and Jech☆11Aug 30, 2024Updated last year
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆84Apr 1, 2026Updated 3 months ago
- A solutions manual for Topology by James Munkres☆17Aug 12, 2018Updated 7 years ago
- Only hosting https://doc.sagemath.org/ files. Updates to the documentation must be made with PRs to https://github.com/sagemath/sage, not…☆12Dec 27, 2025Updated 6 months ago
- Escrita colaborativa de recursos educacionais abertos sobre computação científica.☆23May 20, 2022Updated 4 years ago
- This is the repository for PLP, An introduction to mathematical proof, book☆25Jan 26, 2026Updated 5 months ago
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆121Jun 18, 2026Updated 2 weeks ago
- ☆14Apr 29, 2022Updated 4 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.
- Public repository for Abstact Algebra Theory and Applications☆192Jun 17, 2026Updated 2 weeks ago
- Coleção do Ensino Médio - Livro Aberto de Matemática☆12May 18, 2023Updated 3 years ago
- A topology textbook with a hubristic title☆31Jan 13, 2016Updated 10 years ago
- ☆40Dec 20, 2024Updated last year
- Use emojione Emojis in LaTeX☆14Dec 12, 2019Updated 6 years ago
- A beamer theme with the new Institute of Informatics (from UFRGS) visual identity style☆16Nov 12, 2012Updated 13 years ago
- Unofficial solutions to Munkres Topology☆14Jun 29, 2022Updated 4 years ago
- MPCA: Multilinear Principal Component Analysis of Tensor Data☆17Feb 10, 2018Updated 8 years ago
- Combinatorics through Guided Discovery☆20Mar 9, 2023Updated 3 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.
- Solutions to Problems from the Hackerrank Math 🧮 Domain.☆13Aug 4, 2022Updated 3 years ago
- IsoBN: Fine-Tuning BERT with Isotropic Batch Normalization☆12Nov 23, 2021Updated 4 years ago
- Shiny Applications to Teach Statistics☆10Dec 15, 2025Updated 6 months ago
- Wiki and Website for the organization☆11Sep 18, 2013Updated 12 years ago
- Applied Discrete Structures using PreTeXt☆45Jun 8, 2026Updated 3 weeks ago
- Brown Econ PhD Math Camp 2023☆25Dec 13, 2023Updated 2 years ago
- A collection of mathematical and physics equations for UAV modeling☆18Jan 9, 2020Updated 6 years ago