Name-Kompsky / triposView external linksLinks
Cambridge Maths Tripos notes
☆38Oct 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
Sorting:
- Lecture notes from Cambridge maths☆72Feb 1, 2024Updated 2 years ago
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 3 years ago
- Source code for some notes for the mathematical tripos.☆23Dec 23, 2018Updated 7 years ago
- My Cambridge Lecture Notes☆1,466Jul 14, 2024Updated last year
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆55Jun 19, 2024Updated last year
- My typed-up math lecture notes☆20Jun 7, 2022Updated 3 years ago
- Modular arithmetic, promoting moduli to the type level☆24Sep 13, 2025Updated 5 months ago
- Handwritten Maths Notes from UCL☆25Nov 11, 2025Updated 3 months ago
- Course notes for Pure Mathematics Topic D 2019☆53Apr 6, 2020Updated 5 years ago
- Notebooks in support of of the Part IA (Michaelmas Term) mathematics course at the Department of Engineering at University of Cambridge☆33Nov 27, 2018Updated 7 years ago
- A non-interactive proof assistant using the Haskell type system☆38Apr 11, 2020Updated 5 years ago
- An IBM OpenQASM 2.0 Parser Written In Rust☆28Oct 24, 2021Updated 4 years ago
- Various notes and solutions on Math and Physics (and Mathematical Physics)☆79Nov 16, 2023Updated 2 years ago
- Source code for lecture notes☆158Jul 26, 2024Updated last year
- ☆12Sep 24, 2018Updated 7 years ago
- An async-friendly streaming parser for geonames data.☆12Nov 2, 2015Updated 10 years ago
- PhD Thesis Template with Roboto Font and Color Sections☆11Jul 24, 2020Updated 5 years ago
- Design and optimize variational quantum sensors☆11Dec 10, 2024Updated last year
- Generator of polynomial machine learning potentials☆18Feb 7, 2026Updated last week
- 利用 docker 快速建立 pgadmin4、Linux install pgadmin4☆12Apr 7, 2024Updated last year
- M4 algebraic geometry course in Lean☆58Mar 4, 2020Updated 5 years ago
- A plugin for adding backlinks to mkdocs.☆16Aug 13, 2024Updated last year
- Simple to use transport measurement code☆14Feb 27, 2020Updated 5 years ago
- Dataset and pre-trained model of EMNLP-IJCNLP 2019 paper "TalkDown: A Corpus for Condescension Detection in Context."☆10Jan 26, 2020Updated 6 years ago
- substitutes $variables in text. single binary, no dependencies. linux, osx, windows.☆14Feb 15, 2019Updated 6 years ago
- Useful for multi-file shell context menu actions☆11Sep 2, 2024Updated last year
- OnePlus 5/5T MSM8998 kernel source for halogenOS and TWRP☆12Jul 15, 2022Updated 3 years ago
- An arduino based gps tracker that transmits data over a GSM shield☆16Jan 13, 2014Updated 12 years ago
- Templates for academic documents in Pandoc Markdown☆15Jan 31, 2019Updated 7 years ago
- Code and data for SCED sentence cloze dataset☆12Dec 8, 2022Updated 3 years ago
- My personal dotfiles with automated macOS setup. Features smart installation scripts, Bats testing (bash), performance monitoring, and 2…☆11Feb 6, 2026Updated last week
- Share your clipboard text to your device like Oculus Go.☆12May 28, 2018Updated 7 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 4 months ago
- Code for implementing the quantum log-likelihood using PennyLane and TensorFlow.☆11Dec 10, 2019Updated 6 years ago
- VS Code Extension for Markdown Preview to support including files☆12Dec 9, 2022Updated 3 years ago
- LaTeX/Tikz package. It provides several commands in order to draw atomic orbitals and molecular orbitals diagrams.☆14Nov 24, 2015Updated 10 years ago
- repository for the code featured in the blog☆22Jan 31, 2009Updated 17 years ago
- undo close tab button Firefox extension☆10Jan 11, 2018Updated 8 years ago
- A Stabilizer Circuit Simulator, Based Originally on the Anders and Briegel Algorithm (arxiv:quant-ph/0504117v2)☆11Nov 1, 2023Updated 2 years ago