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
- Files for the MO Server☆10May 13, 2021Updated 5 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
- My minimalist Neovim configuration☆11Mar 23, 2026Updated 6 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- My emacs configuration☆10Dec 30, 2016Updated 9 years ago
- Retargetable ML compilers for the twenty-first century!☆13Apr 22, 2025Updated last year
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 7 months ago
- A plugin to make permanent backup☆12Oct 2, 2021Updated 4 years ago
- My personal dotfiles and settings☆16Jul 21, 2026Updated 2 months ago
- A formally verified compiler for a simple language with numbers and sums☆29Nov 29, 2020Updated 5 years ago
- Astrovim colorscheme and its darker version☆12May 24, 2023Updated 3 years ago
- The way to high score for the students in the department of physics in SUSTech☆11Jan 10, 2021Updated 5 years ago
- ☆14Jun 23, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 4 years ago
- Crypto Samples in .NET☆20Jan 25, 2021Updated 5 years ago
- OTIS course management system☆47Updated this week
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆41May 15, 2024Updated 2 years ago
- Resolve a nested selector in a PostCSS AST☆13Sep 2, 2026Updated 3 weeks ago
- Chrome Extension for downloading videos from Zoom.us☆11May 5, 2020Updated 6 years ago
- ☆20Dec 23, 2025Updated 9 months ago
- A mod that adds the basic building blocks of a computer to Minecraft☆11Feb 27, 2026Updated 6 months ago
- Adds collapsible outline to pdf, taking advantage of the file system of nodejs☆11Jan 12, 2023Updated 3 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.
- Intellisense and hover in code blocks on markdown files for Visual Studio Code☆13Aug 11, 2021Updated 5 years ago
- Code that searches for ribbon bands☆18Jul 3, 2026Updated 2 months ago
- PostCSS plugin to discard rules, atrules or declarations by selector, RegExp or callback function☆12Jan 24, 2026Updated 8 months ago
- Works with Autocuts to automatically turn on Do Not Disturb based on calendar events during your day.☆14Dec 17, 2019Updated 6 years ago
- Handwriting recognition for reMarkable notes☆14Mar 17, 2021Updated 5 years ago
- LaTeX source for my free math notes☆15Oct 18, 2020Updated 5 years ago
- ☆16Jun 22, 2026Updated 3 months ago
- A web component to render KaTeX expression☆12Nov 17, 2025Updated 10 months ago
- Sample app to create X.509 certificates for Azure IoT Hub Device Provisioning Service☆24Apr 17, 2018Updated 8 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.
- Visualizations of character embeddings from derived character vectors.☆13Apr 4, 2017Updated 9 years ago
- Compiles (La)TeX code to responsive SVGs☆11Apr 28, 2023Updated 3 years ago
- Rust crate that provides a macro allowing expressions to be eagerly evaluated before a scope.☆15Nov 12, 2025Updated 10 months ago
- TikZ to SVG Converter☆13Jan 27, 2022Updated 4 years ago
- A VSCode extension that check links in Markdown to ensure they are valid.☆19Jun 5, 2023Updated 3 years ago
- ☆21Mar 4, 2026Updated 6 months ago
- My literate Emacs configuration☆32Jan 14, 2021Updated 5 years ago