My collection of handouts and lecture notes (finished and unfinished)
☆31Oct 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
Sorting:
- Part III Maths notes for 2018-19☆20Aug 8, 2022Updated 3 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Oct 30, 2020Updated 5 years ago
- Windfarm Open Data Analysis: “La Haute Borne” (Meuse, France)☆13Nov 12, 2018Updated 7 years ago
- cross lingual text classification on amazon reviews☆10Nov 4, 2019Updated 6 years ago
- High Dynamic Range imaging with Altera DE2-115.☆13Mar 1, 2021Updated 5 years ago
- Interpreting CLIP with Hierarchical Sparse Autoencoders (ICML 2025)☆21Jan 17, 2026Updated last month
- This repository contains FPGA code for various projects like Lighthouse Tracking as well as some IP cores. The repository is board-indepe…☆14Sep 8, 2021Updated 4 years ago
- Adds collapsible outline to pdf, taking advantage of the file system of nodejs☆11Jan 12, 2023Updated 3 years ago
- Simple rules based grapheme to phoneme in Python☆11Sep 2, 2017Updated 8 years ago
- Compiles (La)TeX code to responsive SVGs☆11Apr 28, 2023Updated 2 years ago
- AntakIA is THE tool to explain an ML model or replace it with a collection of basic explainable models.☆14Feb 16, 2026Updated 2 weeks ago
- A solver library for picross / nonogram puzzles in C++☆10Mar 1, 2026Updated last week
- ☆15May 3, 2024Updated last year
- Departure Board at Home, to see when the SL buss, tunnelbanan, pendeltåg, och färjor will depart. A simple implementation with XIAO ESP32…☆12Jun 20, 2025Updated 8 months ago
- VS Code Extension for Markdown Preview to support including files☆12Dec 9, 2022Updated 3 years ago
- Helps you visualize multidimensional arrays.☆12May 20, 2022Updated 3 years ago
- Do we need rebalancing strategies? A theoretical and empirical study around SMOTE and its variants (Sakho, Malherbe and Scornet; 2024)☆11Sep 2, 2025Updated 6 months ago
- ☆13Nov 14, 2022Updated 3 years ago
- [ICCV 2023] Going Beyond Nouns With Vision & Language Models Using Synthetic Data☆14Sep 30, 2023Updated 2 years ago
- Sample code that shows how to forecast stock market volatility using a Kalman filter☆15Aug 17, 2023Updated 2 years ago
- This is an implementation of the paper "Are We Done with Object-Centric Learning?"☆12Sep 11, 2025Updated 5 months ago
- A place to investigate potential Google Summer of Code opportunities.☆13Updated this week
- Audio filtering with pyfda and cocotb☆12Sep 24, 2020Updated 5 years ago
- Implementation of different noise embeddings for noise aware training of Kaldi acoustic models.☆13Feb 13, 2021Updated 5 years ago
- PostCSS plugin to discard rules, atrules or declarations by selector, RegExp or callback function☆12Jan 24, 2026Updated last month
- Source code graph RAG (GraphRAG) for C/C++ development based on clangd☆31Feb 28, 2026Updated last week
- Mandelbrot Set in VHDL targetting the Cyclone IVE found on a DE2-115 board.☆11May 2, 2013Updated 12 years ago
- ☆13Jan 6, 2025Updated last year
- Code Repository for Time Varying Multivariate Autoregressive (TV-MVAR) modeling☆13Mar 31, 2025Updated 11 months ago
- A linter for JS promises that checks for possible Promise.then usage errors.☆49Jun 14, 2014Updated 11 years ago
- Built an interface for minting your own crypto collectibles that meet the ERC-721 standard for non-fungible tokens.☆10Jan 31, 2023Updated 3 years ago
- https://opensafely.org/research/2021/covid-vaccine-coverage/☆10Feb 24, 2023Updated 3 years ago
- Code to reproduce the experiments in the paper: Does CLIP Bind Concepts? Probing Compositionality in Large Image Models.☆16Oct 14, 2023Updated 2 years ago
- Intellisense and hover in code blocks on markdown files for Visual Studio Code☆13Aug 11, 2021Updated 4 years ago
- ☆11Oct 27, 2019Updated 6 years ago
- Using an Altera DE10-Lite FPGA development board to simulate an FFT processor. Audio input frequencies will be visualized onto a VGA disp…☆15May 5, 2020Updated 5 years ago
- Transfer.sh command line program, Now file sharing from the command line is easy.☆13Feb 28, 2023Updated 3 years ago
- LaTeX package for fixing margin notes☆20Nov 27, 2025Updated 3 months ago
- A simple, elegant web tool that allows you to create custom RSS feeds for arXiv search queries. Stay up-to-date with the latest research …☆33Dec 5, 2025Updated 3 months ago