A few Mathematics Cheat Sheets I've made on LaTeX.
☆137Mar 31, 2026Updated last month
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:
- 2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)☆19Mar 8, 2016Updated 10 years ago
- chrome extension to display github stars in repo links☆12Sep 25, 2024Updated last year
- A library and tool for automata and formal languages, inspired by JFLAP☆25Mar 31, 2022Updated 4 years ago
- Python interface to GAP☆18Jun 7, 2024Updated last year
- Typ2Anki is a tool that converts Typst documents into Anki flashcards.☆47Apr 5, 2026Updated 3 weeks 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.
- A Rust library that provides space-efficient, in-memory representations for integer vectors. It offers two complementary data structures:…☆35Mar 30, 2026Updated last month
- Quantum Wordle☆14Apr 18, 2026Updated last week
- A library to locate exceptional points and to reconstruct eigenvalues loci☆16Mar 6, 2026Updated last month
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Mar 28, 2017Updated 9 years ago
- manage linux packages with textfiles☆12Feb 7, 2026Updated 2 months ago
- ☆67Mar 8, 2026Updated last month
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 3 years ago
- Opinionated tool to typeset theorems, lemmas and such☆37Feb 4, 2026Updated 2 months ago
- Algebra Number Theory book☆50Mar 2, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 3 months ago
- Sets of LaTex course notes taken for various Math/CS classes at McGill University: currently include MATH 240, MATH 247, MATH 323 and a r…☆39Feb 1, 2021Updated 5 years ago
- 3D engine focusing on modern rendering☆11Feb 11, 2023Updated 3 years ago
- a feedforward neural network from scratch☆10Aug 5, 2024Updated last year
- ☆23Apr 17, 2022Updated 4 years ago
- Notes for second year Computing at Imperial College London☆16Apr 13, 2019Updated 7 years ago
- Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python☆13Mar 29, 2021Updated 5 years ago
- A collection of mechanised proofs☆19Feb 4, 2020Updated 6 years ago
- Code repository for our work on Quantum Pi☆11Jun 4, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- Notes and handouts from OPLSS 2018☆55Jul 23, 2018Updated 7 years ago
- PostgreSQL Schema Migrations for Haskell☆18Jan 11, 2026Updated 3 months ago
- Doom Emacs orgmode config☆10Oct 29, 2021Updated 4 years ago
- Get BibTeX from a DOI — fast☆28Apr 3, 2026Updated 3 weeks ago
- The framework for next generation data center.☆30Aug 24, 2025Updated 8 months ago
- A game of life🔬 simulator on an infinite♾️ plane☆16Oct 15, 2021Updated 4 years ago
- Simple Math Proof Tool for Simple Math Expressions☆38Jul 10, 2025Updated 9 months ago
- ☆21Jul 16, 2025Updated 9 months 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.
- ☆11Apr 2, 2026Updated 3 weeks ago
- ERC721 變體測試（ERC721, ERC721A, ERC721Solmate, ERC721Psi ...）☆10Jul 18, 2022Updated 3 years ago
- freer monads and cofreer comonads.☆23Jun 26, 2018Updated 7 years ago
- Fetch and process web content with your favorite LLMs and prompts☆13Feb 8, 2026Updated 2 months ago
- Extra RNGs☆51Updated this week
- Generalized Sentiment Classifier finetuned by KoELECTRA☆11Nov 28, 2024Updated last year
- Calculate allowed interactions in QED☆10Nov 2, 2022Updated 3 years ago