A few Mathematics Cheat Sheets I've made on LaTeX.
☆139Mar 31, 2026Updated 3 months ago
Alternatives and similar repositories for MathCheatSheets
Users that are interested in MathCheatSheets are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Course materials for David Simkins' Fall 2018 section of IGME-110 (Introduction to Interactive Media) at RIT☆12Oct 16, 2018Updated 7 years ago
- Dummit Foote 3rd Edition Solutions☆23Updated this week
- ☆15Updated this week
- Superposition prover☆17Feb 16, 2023Updated 3 years ago
- A digital archive of category theory papers.☆35Jun 27, 2026Updated 3 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Demos for ASP.NET Core MVC☆10Aug 26, 2022Updated 3 years ago
- A LaTeX template for humans.☆87Sep 20, 2022Updated 3 years ago
- Quantum Wordle☆15Apr 18, 2026Updated 3 months ago
- An embedding of ZFC into Agda☆13Dec 10, 2021Updated 4 years ago
- ☆13May 22, 2024Updated 2 years ago
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Mar 28, 2017Updated 9 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆121Mar 9, 2024Updated 2 years ago
- Mirror of a website on Elligator by Daniel J. Bernstein, Mike Hamburg, Anna Krasnova, and Tanja Lange☆20Mar 26, 2025Updated last year
- A lightweight and useful config of PowerShell.☆12Feb 16, 2020Updated 6 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.
- A Rust implementation of the Lean kernel☆11Jan 2, 2023Updated 3 years ago
- renaissance is a Scala program that allows people to control their computers by playing musical notes.☆27Dec 10, 2016Updated 9 years ago
- Julia package for learning cellular sheaf Laplacians☆17Apr 21, 2021Updated 5 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆27Dec 18, 2024Updated last year
- A database app for ring theory☆22Updated this week
- git-svn mirror of the TUGboat repository☆13Jun 27, 2026Updated 3 weeks ago
- A python bot made to surf MyAnimeList website from discord.☆11Sep 9, 2021Updated 4 years ago
- ☆11Aug 28, 2025Updated 10 months ago
- manage linux packages with textfiles☆12Feb 7, 2026Updated 5 months 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.
- Fast 4 way vectorized ladder for the complete set of Montgomery curves☆11Feb 13, 2019Updated 7 years ago
- SIGPwny's websites and club content monorepo☆13Jul 6, 2026Updated 2 weeks ago
- ☆14Jul 3, 2020Updated 6 years ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 6 months ago
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 6 years ago
- The SQALE of CSIDH: Square-root velu Quantum-resistant isogeny Action with Low Exponents☆12Jul 1, 2021Updated 5 years ago
- records of my daily sec learning☆13Mar 20, 2020Updated 6 years ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆27Oct 13, 2025Updated 9 months ago
- Notes for second year Computing at Imperial College London☆16Apr 13, 2019Updated 7 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.
- ☆24Apr 17, 2022Updated 4 years ago
- Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python☆13Mar 29, 2021Updated 5 years ago
- 📃biotree is a social media reference landing page. An open-source alternative to Linktree☆10Nov 1, 2021Updated 4 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Nov 9, 2020Updated 5 years ago
- Tag-based webview of LaTeX documents☆34May 28, 2026Updated last month
- ☆10Dec 5, 2023Updated 2 years ago
- Code repository for our work on Quantum Pi☆11Jun 4, 2024Updated 2 years ago