Cambridge Maths Tripos notes
☆36Oct 14, 2020Updated 6 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☆78Feb 1, 2024Updated 2 years ago
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 4 years ago
- Part III Maths notes for 2018-19☆22Aug 8, 2022Updated 4 years ago
- Source code for some notes for the mathematical tripos.☆23Sep 2, 2026Updated last month
- My Cambridge Lecture Notes☆1,525Jul 14, 2024Updated 2 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.
- One hour lecture to introduce LaTeX to maths undergraduates.☆10Oct 2, 2020Updated 6 years ago
- Lecture notes of the course Analysis On Manifolds☆24Apr 2, 2026Updated 6 months ago
- Modular arithmetic, promoting moduli to the type level☆24Jul 1, 2026Updated 3 months ago
- Course notes for Pure Mathematics Topic D 2019☆54Apr 6, 2020Updated 6 years ago
- CATAM material in Julia☆22Oct 12, 2021Updated 5 years ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆61Jun 19, 2024Updated 2 years ago
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆16Updated this week
- A non-interactive proof assistant using the Haskell type system☆40Apr 11, 2020Updated 6 years ago
- My typed-up math lecture notes☆26Jun 7, 2022Updated 4 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.
- Repositorio de ejemplos, macros, plantillas, clases, etc. relacionados con la producción de documentos con LaTeX.☆15Sep 2, 2023Updated 3 years ago
- Various notes and solutions on Math and Physics (and Mathematical Physics)☆82Oct 1, 2026Updated 2 weeks ago
- LaTeX sources for notes for the maths courses at Cambridge.☆114Jun 12, 2024Updated 2 years ago
- Compiles (La)TeX code to responsive SVGs☆11Apr 28, 2023Updated 3 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆70Sep 1, 2025Updated last year
- This repo contains notes for (some) courses made during core years at IISERM. CAUTION: Contain some cool stuff too.☆10Nov 27, 2023Updated 2 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆66Jul 31, 2023Updated 3 years ago
- Experiments with representation engineering☆14Feb 28, 2024Updated 2 years ago
- M4 algebraic geometry course in Lean☆58Mar 4, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆13Jun 6, 2019Updated 7 years ago
- A better method learning Math & Stats☆61Mar 15, 2025Updated last year
- A collection of math and CS notes from university and self-study☆24Aug 14, 2025Updated last year
- semirings and *-semirings of types in base/haskell-platform☆45Updated this week
- PyTorch and NNsight implementation of AtP* (Kramar et al 2024, DeepMind)☆21Jan 19, 2025Updated last year
- ☆18Oct 16, 2019Updated 7 years ago
- Official Code for our paper: "Language Models Learn to Mislead Humans via RLHF""☆20Oct 11, 2024Updated 2 years ago
- ☆15Oct 15, 2019Updated 7 years ago
- Transform a Folder into a Stack Template☆15Aug 23, 2026Updated last month
- 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.
- The Happy Faces Benchmark☆15Jul 20, 2023Updated 3 years ago
- Reimplementing the Haskell prelude in Scala (for fun)☆13Jul 6, 2019Updated 7 years ago
- Source code for lecture notes☆168Jul 26, 2024Updated 2 years ago
- Proofs written in Lean4 for the core katydid validation algorithm☆18Sep 17, 2025Updated last year
- Course notes for Ph229ab 2018: Conformal Field Theory☆41Oct 22, 2020Updated 5 years ago
- Cheatsheets for NUS Computer Science Modules.☆28Dec 19, 2025Updated 9 months ago
- Math notes from my whole degree :-) (And one CS class, and some fun physics)☆28Jun 6, 2023Updated 3 years ago