Solutions to various math textbooks
☆20May 11, 2015Updated 11 years ago
Alternatives and similar repositories for math-solutions
Users that are interested in math-solutions are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Typeset version of EGA and SGA by Grothendieck.☆14Jan 28, 2014Updated 12 years ago
- Solutions to Algebra, by Michael Artin.☆36Dec 6, 2016Updated 9 years ago
- Open files with external programs☆15Feb 17, 2020Updated 6 years ago
- A collaborative community database for the open problems on the erdosproblems.com site as well as some MathOverflow problems☆13Oct 26, 2026Updated last week
- A controlled natural language syntax for Lean.☆16Updated this week
- 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.
- Solutions to Foundations of Algebraic Geometry☆11Aug 16, 2011Updated 15 years ago
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 9 months ago
- A LaTeX3 meta-class for typesetting lecture notes, problem sets, and other academic documents.☆14Aug 18, 2023Updated 3 years ago
- A plugin to make permanent backup☆12Oct 2, 2021Updated 5 years ago
- Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes☆12Updated this week
- Proétale cohomology in Lean☆18Sep 29, 2026Updated last month
- My personal dotfiles and settings☆15Updated this week
- Astrovim colorscheme and its darker version☆12May 24, 2023Updated 3 years ago
- Proximity Prize for Smooth Reed-Solomon Domains☆17Jul 29, 2026Updated 3 months 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.
- Help people understand the ZKP mooc course of Berkeley☆14Feb 10, 2023Updated 3 years ago
- ☆14Jun 23, 2022Updated 4 years ago
- ☆18Sep 4, 2022Updated 4 years ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆82Aug 20, 2026Updated 2 months ago
- OTIS course management system☆50Updated this week
- Script to install ArchLinux☆18Dec 7, 2021Updated 4 years ago
- Crypto Samples in .NET☆20Jan 25, 2021Updated 5 years ago
- Introduction to Machine and Deep Learning Theory☆15Jun 13, 2023Updated 3 years ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆122Updated 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.
- Personal configuration files (dot files)☆21Sep 29, 2026Updated last month
- ☆13Apr 23, 2024Updated 2 years ago
- Intellisense and hover in code blocks on markdown files for Visual Studio Code☆13Aug 11, 2021Updated 5 years ago
- One hour lecture to introduce LaTeX to maths undergraduates.☆10Oct 2, 2020Updated 6 years ago
- Render TikZ diagrams to SVG☆11Aug 15, 2020Updated 6 years ago
- ☆19Dec 23, 2025Updated 10 months ago
- Packer configuration files for Debian☆12Sep 2, 2023Updated 3 years ago
- 🧮 LaTeX package for writing readable and explained mathematics☆14Jan 1, 2026Updated 10 months ago
- Handwriting recognition for reMarkable notes☆14Mar 17, 2021Updated 5 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.
- Add Math to your Markdown with a KaTeX plugin for Markdown-it☆10Mar 26, 2023Updated 3 years ago
- VS Code Extension for Markdown Preview to support including files☆12Dec 9, 2022Updated 3 years ago
- Github colors for all the programming languages(Rewrite in go)☆11Feb 10, 2019Updated 7 years ago
- Generate Strava Art route from images☆16Jun 11, 2024Updated 2 years ago
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆32Aug 13, 2026Updated 2 months ago
- A promise based throttler capable of limiting execution of parallel tasks☆12May 18, 2018Updated 8 years ago
- CLI for IDoneThis☆10Nov 21, 2014Updated 11 years ago