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:
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆18Jul 10, 2025Updated last year
- Lean mathzoo☆24Mar 23, 2022Updated 4 years ago
- Courseography is a tool created by David Liu and Ian Stewart-Binks to guide students through their undergraduate careers.☆74Updated this week
- Crowdsourced list of Canadian tech companies that are hiring Interns and New Grads for 2025☆1,960Dec 13, 2024Updated last year
- 💧 Liquid Tensor Experiment☆252Jan 23, 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.
- Transform arXiv papers into a single LaTeX source that can be used as a prompt for asking LLMs questions about the paper.☆170Aug 24, 2026Updated last month
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆375Dec 9, 2024Updated last year
- CS294; AI For Systems and Systems For AI☆225Aug 30, 2019Updated 7 years ago
- code for "Riemannian Flow Matching on General Geometries".☆312Mar 13, 2024Updated 2 years ago
- A KV storage engine based on LSM Tree, supporting Redis RESP☆332Aug 5, 2026Updated last month
- Lean theorem proving interface which feels like pen-and-paper proofs.☆552Sep 6, 2026Updated 2 weeks ago
- 📖 Cross-agent research paper toolkit for Claude Code, Codex, OpenCode, and DeepSeek Harness—quick summaries, deep study materials, code …☆337Aug 14, 2026Updated last month
- 2023 Internship Repository☆245Jun 12, 2023Updated 3 years ago
- 计算机网络：自顶向下设计8th(2020)，配套PPT，编程作业，WireShark实验，新增2020Fall Slides。☆381Jun 2, 2023Updated 3 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.
- This repository collects some codes that encapsulates commonly used algorithms in the field of machine learning. Most of them are based o…☆637May 18, 2025Updated last year
- XCPC模板库☆491Nov 28, 2025Updated 9 months ago
- ☆919Jul 6, 2023Updated 3 years ago
- Solutions for Object Oriented Design Problems☆765Aug 28, 2022Updated 4 years ago
- A library for mechanistic interpretability of GPT-style language models☆3,908Updated this week
- LLMs as Copilots for Theorem Proving in Lean☆1,324Sep 18, 2026Updated last week
- Algorithm Design (Kleinberg Tardos 2005) - Solutions☆785Feb 9, 2023Updated 3 years ago
- An awesome list of summer schools on Artificial Intelligence, Machine Learning, and Healthcare☆738Updated this week
- learn LLM inference system on Apple Silicon for systems engineers: build a tiny vLLM + Qwen☆4,726Updated this week
- 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.
- This is a repository containing the list of company wise questions available on leetcode premium. Every pdf file in this repository corre…☆1,786Jul 8, 2020Updated 6 years ago
- 🐳 LeetCode 算法笔记：面试、刷题、学算法。在线阅读地址：https://datawhalechina.github.io/leetcode-notes/☆1,161Oct 9, 2025Updated 11 months ago
- The guide to online assessments and interviews☆2,580Apr 17, 2026Updated 5 months ago
- A repository of links with advice related to grad school applications, research, phd etc☆2,545Nov 12, 2023Updated 2 years ago
- 👏🏻 leetcode solutions for Humans™☆1,350Apr 20, 2021Updated 5 years ago
- A collection of full time roles in SWE, Quant, and PM for new grads.☆18,073Updated this week
- 这里有着计算机考研408的详细路线，每个月的学习规划和所有视频书籍资源，计算机考研必看仓库☆1,479Jun 12, 2022Updated 4 years ago
- Lean Theorem Prover☆2,154Oct 14, 2023Updated 2 years ago
- Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.☆1,960May 26, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 计算机网络-自顶向下方法 习题/编程/实验答案☆1,520Jan 27, 2022Updated 4 years ago
- An opinionated, actionable guide for software engineering interviews.☆4,308Apr 9, 2026Updated 5 months ago
- Summer 2027 software engineering, data science, AI, quant, product management, and hardware internship postings. Updated daily by Simplif…☆47,692Updated this week
- Solutions to Introduction to Algorithms☆9,604Oct 15, 2023Updated 2 years ago
- Lists of company wise questions available on leetcode premium. Every csv file in the companies directory corresponds to a list of questio…☆11,367Jul 16, 2024Updated 2 years ago
- 计算机基础（计算机网络/操作系统/数据库/Git... ）面试问题全面总结，包含详细的follow-up question以及答案；全部采用【问题+追问+答案】的形式，即拿即用，直击互联网大厂面试；可用于模拟面试、面试前复习、短期内快速备战面试...☆10,292Oct 29, 2024Updated last year
- 🚀 Awesome System for Machine Learning ⚡️ AI System Papers and Industry Practice. ⚡️ System for Machine Learning, LLM (Large Language Mod…☆4,397Jul 25, 2025Updated last year