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
- 道柒的一些算法模板☆22May 13, 2025Updated last year
- Lean mathzoo☆24Mar 23, 2022Updated 4 years ago
- 个人笔记网站，欢迎访问 😝 ～～☆44Mar 10, 2024Updated 2 years ago
- 暑期实习找工作的一些经验总结☆72Jul 29, 2023Updated 3 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.
- Courseography is a tool created by David Liu and Ian Stewart-Binks to guide students through their undergraduate careers.☆74Aug 14, 2026Updated 3 weeks ago
- Data Structure and Algorithm☆120Feb 8, 2025Updated last year
- Crowdsourced list of Canadian tech companies that are hiring Interns and New Grads for 2025☆1,960Dec 13, 2024Updated last year
- ☆166Sep 5, 2024Updated last year
- 💧 Liquid Tensor Experiment☆249Jan 23, 2024Updated 2 years ago
- Transform arXiv papers into a single LaTeX source that can be used as a prompt for asking LLMs questions about the paper.☆167Aug 24, 2026Updated last week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆362Dec 9, 2024Updated last year
- CS294; AI For Systems and Systems For AI☆225Aug 30, 2019Updated 7 years ago
- C++ template files for competitive programming☆286May 12, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Hierarchical Image Pyramid Transformer - CVPR 2022 (Oral)☆620Mar 19, 2024Updated 2 years ago
- A KV storage engine based on LSM Tree, supporting Redis RESP☆326Aug 5, 2026Updated 3 weeks ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆543Jul 20, 2026Updated last month
- 2023 Internship Repository☆245Jun 12, 2023Updated 3 years ago
- code for Structured Variational Autoencoders☆353Aug 22, 2018Updated 8 years ago
- Learning materials for UCB CS186: Introduction to Database System☆399Oct 8, 2021Updated 4 years ago
- XCPC模板库☆477Nov 28, 2025Updated 9 months ago
- A library with extensible implementations of DPO, KTO, PPO, ORPO, and other human-aware loss functions (HALOs).☆910Sep 30, 2025Updated 11 months ago
- Solutions for Object Oriented Design Problems☆761Aug 28, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- LLMs as Copilots for Theorem Proving in Lean☆1,319Aug 22, 2026Updated last week
- Algorithm Design (Kleinberg Tardos 2005) - Solutions☆782Feb 9, 2023Updated 3 years ago
- learn LLM inference system on Apple Silicon for systems engineers: build a tiny vLLM + Qwen☆4,538Updated this week
- 💡 LeetCode in C++23/Java/Python/MySQL/TypeScript (respect coding conventions)☆1,339Aug 27, 2026Updated last week
- The guide to online assessments and interviews☆2,558Apr 17, 2026Updated 4 months 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.☆17,854Updated this week
- A course to build the SQL layer of a distributed database.☆2,048Sep 27, 2023Updated 2 years ago
- 总结了后端面试八股文中的重点，希望能帮助各位准备互联网开发岗校招面试的同学。☆1,491Feb 14, 2023Updated 3 years 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.
- 🎓Leetcode solutions in Python 📚☆1,560Feb 9, 2023Updated 3 years ago
- 这里有着计算机考研408的详细路线，每个月的学习规划和所有视频书籍资源，计算机考研必看仓库☆1,470Jun 12, 2022Updated 4 years ago
- Lean Theorem Prover☆2,154Oct 14, 2023Updated 2 years ago
- An opinionated, actionable guide for software engineering interviews.☆4,305Apr 9, 2026Updated 4 months ago
- Summer 2027 software engineering, data science, AI, quant, product management, and hardware internship postings. Updated daily by Simplif…☆47,098Updated this week
- Solutions to Introduction to Algorithms☆9,605Oct 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,343Jul 16, 2024Updated 2 years ago