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
- Lean mathzoo☆24Mar 23, 2022Updated 4 years ago
- A simple Discord yes/no poll bot with slash commands!☆35Oct 4, 2022Updated 3 years ago
- 个人笔记网站，欢迎访问 😝 ～～☆45Mar 10, 2024Updated 2 years ago
- 暑期实习找工作的一些经验总结☆70Jul 29, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Crowdsourced list of Canadian tech companies that are hiring Interns and New Grads for 2025☆1,972Dec 13, 2024Updated last year
- 适用于在线评测系统（Online Judge）的Tampermonkey脚本，增强功能与界面。☆197Apr 2, 2026Updated last month
- This repository organizes materials, recordings, and schedules related to AI-infra learning meetings.☆426Mar 1, 2026Updated 2 months ago
- A feature-rich, Discord music bot that supports multiple streaming platforms,with Button control, has Audio filters, and is easy to self-…☆150Dec 20, 2024Updated last year
- C++ template files for competitive programming☆285May 12, 2025Updated 11 months ago
- This is the repository for the Tool Learning survey.☆483Aug 9, 2025Updated 8 months ago
- The repository has collected a batch of noteworthy MLSys bloggers (Algorithms/Systems)☆336Jan 5, 2025Updated last year
- The most advanced self-hosted discord ticket bot with transcripts, plugins, questions, claiming, pterodactyl support & more! Easy setup &…☆378Apr 19, 2026Updated 2 weeks ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆517Apr 8, 2026Updated 3 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A detailed summary of Clean Architecture by Robert C Martin (Uncle Bob)☆360Oct 4, 2024Updated last year
- Learning materials for UCB CS186: Introduction to Database System☆386Oct 8, 2021Updated 4 years ago
- A library with extensible implementations of DPO, KTO, PPO, ORPO, and other human-aware loss functions (HALOs).☆904Sep 30, 2025Updated 7 months ago
- 📊 User friendly dashboard/tool for discord bot developers to manage servers☆381Sep 9, 2023Updated 2 years ago
- A list of Summer 2024 internships for software engineering, updated automatically everyday☆1,386Sep 15, 2023Updated 2 years ago
- 力扣周赛训练小工具，欢迎使用🎈☆818Apr 27, 2026Updated last week
- Solutions for Object Oriented Design Problems☆744Aug 28, 2022Updated 3 years ago
- LLMs as Copilots for Theorem Proving in Lean☆1,268Feb 17, 2026Updated 2 months ago
- A fast and accurate contest rating prediction web application☆835Feb 21, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Algorithm Design (Kleinberg Tardos 2005) - Solutions☆777Feb 9, 2023Updated 3 years ago
- This is a repository containing the list of company wise questions available on leetcode premium. Every pdf file in this repository corre…☆1,719Jul 8, 2020Updated 5 years ago
- 天若有情天亦老，人间正道是沧桑☆1,090Jan 31, 2025Updated last year
- 💡 LeetCode in C++23/Java/Python/MySQL/TypeScript (respect coding conventions)☆1,317Apr 5, 2026Updated 3 weeks ago
- 🤖 Another powerful Discord Bot with a web-dashboard used by more than 130k users!☆914Mar 16, 2026Updated last month
- The guide to online assessments and interviews☆2,425Apr 17, 2026Updated 2 weeks ago
- A repository of links with advice related to grad school applications, research, phd etc☆2,460Nov 12, 2023Updated 2 years ago
- A course to build the SQL layer of a distributed database.☆2,042Sep 27, 2023Updated 2 years ago
- A collection of full time roles in SWE, Quant, and PM for new grads.☆16,857Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 🎓Leetcode solutions in Python 📚☆1,532Feb 9, 2023Updated 3 years ago
- Lean Theorem Prover☆2,156Oct 14, 2023Updated 2 years ago
- 新项目：快速生成 SQL 和模拟数据的网站（Java 后端），大幅提高开发测试效率！by 程序员鱼皮☆2,091May 21, 2023Updated 2 years ago
- JAX - A curated list of resources https://github.com/google/jax☆2,101Jan 20, 2026Updated 3 months ago
- 🤖 EvoBot is a Discord Music Bot built with TypeScript + Discord.js, includes Docker builds & localization in 20+ languages☆1,865Sep 5, 2024Updated last year
- The math library of Lean 4☆3,239Updated this week
- Collection of Summer 2026 tech internships!☆44,393Updated this week