My collection of handouts and lecture notes (finished and unfinished)
☆33Oct 24, 2023Updated 2 years ago
Alternatives and similar repositories for tripos-lecture-notes
Users that are interested in tripos-lecture-notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- One hour lecture to introduce LaTeX to maths undergraduates.☆10Oct 2, 2020Updated 5 years ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆59Jun 19, 2024Updated 2 years ago
- ☆18Oct 16, 2019Updated 6 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Oct 30, 2020Updated 5 years ago
- IR LED Driver MCU firmware, used in OSVR HDK and elsewhere☆13Sep 9, 2016Updated 9 years 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.
- Viewer for Observing Multiple Computers using VNC☆19Feb 13, 2010Updated 16 years ago
- 🔮 The fastest way to make the fastest dogehouse bots 🔮☆13May 16, 2021Updated 5 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Nov 21, 2024Updated last year
- Writing proofs to Twitter since April 2020☆12Jun 9, 2022Updated 4 years ago
- Code Repository for Time Varying Multivariate Autoregressive (TV-MVAR) modeling☆13Mar 12, 2026Updated 3 months ago
- A new Polis frontend and collective-response tool☆12Apr 30, 2025Updated last year
- An application to compress your audio files upto 50%☆10Apr 15, 2019Updated 7 years ago
- Official codebase for the NeurIPS 2023 paper: Towards Last-layer Retraining for Group Robustness with Fewer Annotations. https://arxiv.or…☆12May 15, 2024Updated 2 years ago
- Quantum Computing devroom @ FOSDEM19☆15Dec 8, 2018Updated 7 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.
- Implementation of different noise embeddings for noise aware training of Kaldi acoustic models.☆13Feb 13, 2021Updated 5 years ago
- ☆14Apr 15, 2025Updated last year
- Code release for "Generative Modeling of Weights: Generalization or Memorization?"☆21Apr 9, 2026Updated 2 months ago
- Simple rules based grapheme to phoneme in Python☆11Sep 2, 2017Updated 8 years ago
- a copy of our trading bot in the IMC prosperity trading competition☆13Apr 3, 2023Updated 3 years ago
- Concept Learning Dynamics☆16Oct 29, 2024Updated last year
- Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.☆240Jun 5, 2026Updated last week
- Starbomb Somebody 😃☆13Apr 21, 2021Updated 5 years ago
- We implement the rough Heston model☆18Jan 24, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Monospace font family for Japanese☆13Jun 3, 2021Updated 5 years ago
- track your OI preparation!☆16Jan 27, 2023Updated 3 years ago
- Spellchecker service based on hunspell for 90 languages☆10Oct 26, 2020Updated 5 years ago
- Machine embroidery fonts for use with Ink/Stitch☆16Jun 10, 2026Updated last week
- PyTorch and NNsight implementation of AtP* (Kramar et al 2024, DeepMind)☆20Jan 19, 2025Updated last year
- PostCSS plugin to discard rules, atrules or declarations by selector, RegExp or callback function☆12Jan 24, 2026Updated 4 months ago
- 👩💻 Code for the ACL paper "Detecting Edit Failures in LLMs: An Improved Specificity Benchmark"☆20Jan 19, 2024Updated 2 years ago
- Codewars katas(Python, SQL, C++) and freeCodeCamp projects☆10Dec 27, 2024Updated last year
- The famous $600 Operator Mono font, but for free and with nerd fonts patched☆14Feb 15, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- [ICLR2024] (EvALign-ICL Benchmark) Beyond Task Performance: Evaluating and Reducing the Flaws of Large Multimodal Models with In-Context …☆22Mar 1, 2024Updated 2 years ago
- FunnyBirds: A Synthetic Vision Dataset for a Part-Based Analysis of Explainable AI Methods (ICCV 2023)☆17Apr 8, 2024Updated 2 years ago
- Handwriting recognition for reMarkable notes☆14Mar 17, 2021Updated 5 years ago
- [ECCV 2024] Prompting Language-Informed Distribution for Compositional Zero-Shot Learning☆15Jan 4, 2025Updated last year
- Rust project for working with ETH - Ethereum transactions with Rust on Ganache and also deploy smart contracts :)☆13Nov 12, 2022Updated 3 years ago
- A web component to render KaTeX expression☆12Nov 17, 2025Updated 7 months ago
- ☆33Nov 23, 2022Updated 3 years ago