My note collection during my undergraduate years at University of Toronto
☆23Apr 26, 2024Updated 2 years ago
Alternatives and similar repositories for uoft-notes
Users that are interested in uoft-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:
- A better method learning Math & Stats☆60Mar 15, 2025Updated last year
- 道柒的一些算法模板☆22May 13, 2025Updated last year
- Built a practical Multi-Factor Backtesting Framework from scratch based on Huatai Security's(One of China's largest sell side) financial …☆73Oct 11, 2022Updated 3 years ago
- Flow Annealed Importance Sampling Bootstrap (FAB). ICLR 2023.☆68Mar 11, 2024Updated 2 years ago
- Data Structure and Algorithm☆116Feb 8, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Crowdsourced list of Canadian tech companies that are hiring Interns and New Grads for 2025☆1,971Dec 13, 2024Updated last year
- Community-sourced list of papers and resources on neural simulation-based inference.☆157Jan 28, 2026Updated 3 months ago
- Course Page for Computer Graphics course☆194Mar 15, 2022Updated 4 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆340Dec 9, 2024Updated last year
- 文言陰符 An Introduction to Programming in Wenyan Language☆378Sep 17, 2021Updated 4 years ago
- code for "Riemannian Flow Matching on General Geometries".☆305Mar 13, 2024Updated 2 years ago
- C++ template files for competitive programming☆285May 12, 2025Updated last year
- XCPC模板库☆430Nov 28, 2025Updated 5 months ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆524Apr 8, 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.
- 2023 Internship Repository☆246Jun 12, 2023Updated 2 years ago
- Learning materials for UCB CS186: Introduction to Database System☆391Oct 8, 2021Updated 4 years ago
- 计算机网络：自顶向下设计8th(2020)，配套PPT，编程作业，WireShark实验，新增2020Fall Slides。☆371Jun 2, 2023Updated 2 years ago
- ☆747Sep 20, 2021Updated 4 years ago
- Solutions for Object Oriented Design Problems☆745Aug 28, 2022Updated 3 years ago
- LLMs as Copilots for Theorem Proving in Lean☆1,278Feb 17, 2026Updated 3 months ago
- A fast and accurate contest rating prediction web application☆833Feb 21, 2026Updated 3 months ago
- Algorithm Design (Kleinberg Tardos 2005) - Solutions☆779Feb 9, 2023Updated 3 years ago
- Codes of my MOOC Course <Play with Algorithm Interviews>. Updated contents and practices are also included. 我在慕课网上的课程《玩儿转算法面试》示例代码。课程的更多更…☆1,114Jun 8, 2019Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- The guide to online assessments and interviews☆2,444Apr 17, 2026Updated last month
- A repository of links with advice related to grad school applications, research, phd etc☆2,477Nov 12, 2023Updated 2 years ago
- 👏🏻 leetcode solutions for Humans™☆1,351Apr 20, 2021Updated 5 years ago
- A collection of full time roles in SWE, Quant, and PM for new grads.☆16,939May 17, 2026Updated last week
- 这里有 着计算机考研408的详细路线，每个月的学习规划和所有视频书籍资源，计算机考研必看仓库☆1,417Jun 12, 2022Updated 3 years ago
- Lean Theorem Prover☆2,157Oct 14, 2023Updated 2 years ago
- A quick guide (especially) for trending instruction finetuning datasets☆3,382Nov 28, 2023Updated 2 years ago
- JAX - A curated list of resources https://github.com/google/jax☆2,107Jan 20, 2026Updated 4 months ago
- 计算机网络-自顶向下方法 习题/编程/实验答案☆1,501Jan 27, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The math library of Lean 4☆3,318Updated this week
- An opinionated, actionable guide for software engineering interviews.☆4,253Apr 9, 2026Updated last month
- Collection of Summer 2026 tech internships!☆44,660Updated this week
- Lists of company wise questions available on leetcode premium. Every csv file in the companies directory corresponds to a list of questio…☆11,183Jul 16, 2024Updated last year
- A library for mechanistic interpretability of GPT-style language models☆3,424May 15, 2026Updated last week
- 计算机基础（计算机网络/操作系统/数据库/Git...）面试问题全面总结，包含详细的follow-up question以及答案；全部采用【问题+追问+答案】的形式，即拿即用，直击互联网大厂面试；可用于模拟面试、面试前复习、短期内快速备战面试...☆10,267Oct 29, 2024Updated last year
- Jupyter notebooks for the Natural Language Processing with Transformers book☆4,770Aug 21, 2024Updated last year