Cambridge Maths Tripos notes
☆37Oct 14, 2020Updated 5 years ago
Alternatives and similar repositories for tripos
Users that are interested in tripos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lecture notes from Cambridge maths☆73Feb 1, 2024Updated 2 years ago
- Part III Maths notes for 2018-19☆21Aug 8, 2022Updated 3 years ago
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 3 years ago
- My Cambridge Lecture Notes☆1,480Jul 14, 2024Updated last year
- Solutions to some exercises from Walter Rudin's Functional Analysis☆16Mar 31, 2026Updated 2 weeks 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.
- One hour lecture to introduce LaTeX to maths undergraduates.☆10Oct 2, 2020Updated 5 years ago
- Lecture notes of the course Analysis On Manifolds☆23Apr 2, 2026Updated 2 weeks ago
- Modular arithmetic, promoting moduli to the type level☆24Sep 13, 2025Updated 7 months ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆52Oct 14, 2023Updated 2 years ago
- All of my math stuff from grad school.☆54Jan 17, 2018Updated 8 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Apr 6, 2020Updated 6 years ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆58Jun 19, 2024Updated last year
- CATAM material in Julia☆21Oct 12, 2021Updated 4 years ago
- My website☆25Dec 22, 2025Updated 3 months 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.
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆13Mar 29, 2026Updated 2 weeks ago
- Tasty Bits of Several Complex Variables, graduate textbook☆20Mar 29, 2026Updated 2 weeks ago
- A non-interactive proof assistant using the Haskell type system☆38Apr 11, 2020Updated 6 years ago
- LaTeX sources for notes for the maths courses at Cambridge.☆110Jun 12, 2024Updated last year
- Various notes and solutions on Math and Physics (and Mathematical Physics)☆80Apr 7, 2026Updated last week
- Typeset version of EGA and SGA by Grothendieck.☆12Jan 28, 2014Updated 12 years ago
- Handwritten Maths Notes from UCL☆27Nov 11, 2025Updated 5 months ago
- some maths papers in English☆20Mar 9, 2026Updated last month
- Finite field and algebraic extension field arithmetic☆53Feb 3, 2024Updated 2 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.
- M4 algebraic geometry course in Lean☆58Mar 4, 2020Updated 6 years ago
- Optimised bilinear pairings over elliptic curves☆55Feb 3, 2024Updated 2 years ago
- A polymorphic interface for elliptic curve operations☆43Jun 23, 2023Updated 2 years ago
- All the math/tex files for the Automorphic Project☆19Feb 12, 2026Updated 2 months ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Sep 1, 2025Updated 7 months ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆65Jul 31, 2023Updated 2 years ago
- ☆35Oct 13, 2021Updated 4 years ago
- Notes from the 278 semester class at Harvard☆19Jan 20, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A better method learning Math & Stats☆60Mar 15, 2025Updated last year
- A collection of math and CS notes from university and self-study☆24Aug 14, 2025Updated 8 months ago
- Official Code for our paper: "Language Models Learn to Mislead Humans via RLHF""☆19Oct 11, 2024Updated last year
- simulations in J☆13Dec 9, 2017Updated 8 years ago
- Kan: A browser extension for reading nLab☆34Oct 2, 2018Updated 7 years ago
- A journal of theorems, lemmas and problems for Mathematical Olympiads.☆56Apr 17, 2021Updated 4 years ago
- Source code for lecture notes☆76Jan 27, 2018Updated 8 years ago