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☆20Aug 8, 2022Updated 3 years ago
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 3 years ago
- My Cambridge Lecture Notes☆1,474Jul 14, 2024Updated last year
- One hour lecture to introduce LaTeX to maths undergraduates.☆10Oct 2, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Lecture notes of the course Analysis On Manifolds☆22Mar 20, 2026Updated last week
- Modular arithmetic, promoting moduli to the type level☆24Sep 13, 2025Updated 6 months ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆52Oct 14, 2023Updated 2 years ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆57Jun 19, 2024Updated last year
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆13Jan 30, 2026Updated last month
- A non-interactive proof assistant using the Haskell type system☆38Apr 11, 2020Updated 5 years ago
- Various notes and solutions on Math and Physics (and Mathematical Physics)☆79Mar 7, 2026Updated 2 weeks ago
- Repositorio de ejemplos, macros, plantillas, clases, etc. relacionados con la producción de documentos con LaTeX.☆15Sep 2, 2023Updated 2 years ago
- Typeset version of EGA and SGA by Grothendieck.☆12Jan 28, 2014Updated 12 years ago
- 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.
- Compiles (La)TeX code to responsive SVGs☆11Apr 28, 2023Updated 2 years ago
- Handwritten Maths Notes from UCL☆26Nov 11, 2025Updated 4 months ago
- some maths papers in English☆20Mar 9, 2026Updated 2 weeks ago
- Finite field and algebraic extension field arithmetic☆53Feb 3, 2024Updated 2 years ago
- M4 algebraic geometry course in Lean☆58Mar 4, 2020Updated 6 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 last month
- Generator of polynomial machine learning potentials☆20Updated this week
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Sep 1, 2025Updated 6 months ago
- 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.
- Github page for SSDFA☆11Jan 28, 2020Updated 6 years ago
- 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
- ☆14May 11, 2020Updated 5 years ago
- A collection of mathematical and physics equations for UAV modeling☆19Jan 9, 2020Updated 6 years ago
- A website for a blockchain course☆12Apr 1, 2022Updated 3 years ago
- Notes from the 278 semester class at Harvard☆19Jan 20, 2026Updated 2 months ago
- Fitting interatomic potential for molecular dynamics☆13Sep 3, 2021Updated 4 years ago
- ☆12Feb 8, 2023Updated 3 years ago
- Cerebral/Baobab port of SurviveJS - Webpack and React Kanban app☆17Feb 24, 2016Updated 10 years 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.
- semirings and *-semirings of types in base/haskell-platform☆44May 21, 2024Updated last year
- A better method learning Math & Stats☆59Mar 15, 2025Updated last year
- ☆18Oct 16, 2019Updated 6 years ago
- PyTorch and NNsight implementation of AtP* (Kramar et al 2024, DeepMind)☆20Jan 19, 2025Updated last year
- Veidt is a deep learning library for materials science.☆18May 5, 2020Updated 5 years ago
- Official Code for our paper: "Language Models Learn to Mislead Humans via RLHF""☆19Oct 11, 2024Updated last year
- Kan: A browser extension for reading nLab☆34Oct 2, 2018Updated 7 years ago