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:
- Tianyu's Notes for Lectures at UofT☆39Dec 12, 2021Updated 4 years ago
- A better method learning Math & Stats☆61Mar 15, 2025Updated last year
- Notes for some of my courses at University of Toronto☆68Mar 4, 2022Updated 4 years ago
- NCSU CSC-326 Course Page☆12Dec 5, 2018Updated 7 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆18Jul 10, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- All of the lecture notes that I digitized while at the University of Toronto☆31Dec 14, 2021Updated 4 years ago
- Aid sheets for some UofT CS/Eng courses☆29May 21, 2020Updated 6 years ago
- ☆68Mar 27, 2025Updated last year
- Crowdsourced list of Canadian tech companies that are hiring Interns and New Grads for 2025☆1,956Dec 13, 2024Updated last year
- ☆108May 28, 2023Updated 3 years ago
- Data Structure and Algorithm☆121Feb 8, 2025Updated last year
- ☆166Sep 5, 2024Updated 2 years ago
- Simulation-based inference benchmark☆123Jan 23, 2025Updated last year
- 💧 Liquid Tensor Experiment☆256Oct 2, 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.
- GRE Preparation for Chinese students. 中文主导的GRE备考资料整理。☆204Dec 21, 2018Updated 7 years ago
- 适用于在线评测系统（Online Judge）的Tampermonkey脚本，增强功能与界面。☆232Updated this week
- Python wrapper for nuts-rs☆212Updated this week
- CS294; AI For Systems and Systems For AI☆225Aug 30, 2019Updated 7 years ago
- A KV storage engine based on LSM Tree, supporting Redis RESP☆333Aug 5, 2026Updated 3 months ago
- 2023 Internship Repository☆243Jun 12, 2023Updated 3 years ago
- Learning materials for UCB CS186: Introduction to Database System☆404Oct 8, 2021Updated 5 years ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆555Sep 6, 2026Updated 2 months ago
- The repository has collected a batch of noteworthy MLSys bloggers (Algorithms/Systems)☆344Jan 5, 2025Updated last year
- 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.
- Easy whole-brain modeling for computational neuroscientists 🧠💻👩🏿🔬☆500Nov 13, 2025Updated 11 months ago
- A list of Summer 2024 internships for software engineering, updated automatically everyday☆1,353Sep 15, 2023Updated 3 years ago
- XCPC模板库☆506Updated this week
- ☆753Sep 20, 2021Updated 5 years ago
- 力扣周赛训练小工具，欢迎使用🎈☆873Updated this week
- Solutions for Object Oriented Design Problems☆770Aug 28, 2022Updated 4 years ago
- A library for mechanistic interpretability of GPT-style language models☆4,051Updated this week
- Algorithm Design (Kleinberg Tardos 2005) - Solutions☆784Feb 9, 2023Updated 3 years ago
- Home for "How To Scale Your Model", a short blog-style textbook about scaling LLMs on TPUs☆1,519Oct 19, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The purpose of this repo is to make it easy to get started with JAX, Flax, and Haiku. It contains my "Machine Learning with JAX" series o…☆790Nov 29, 2023Updated 2 years ago
- LLMs as Copilots for Theorem Proving in Lean☆1,341Oct 13, 2026Updated 3 weeks ago
- sbi is a Python package for simulation-based inference, designed to meet the needs of both researchers and practitioners. Whether you nee…☆882Updated this week
- 🐳 LeetCode 算法笔记：面试、刷题、学算法。在线阅读 地址：https://datawhalechina.github.io/leetcode-notes/☆1,180Oct 9, 2025Updated last year
- Codes of my MOOC Course <Play with Algorithm Interviews>. Updated contents and practices are also included. 我在慕课网上的课程《玩儿转算法面试》示例代码。课程的更多更…☆1,106Jun 8, 2019Updated 7 years ago
- Brian is a free, open source simulator for spiking neural networks.☆1,256Updated this week
- The official implementation of “Sophia: A Scalable Stochastic Second-order Optimizer for Language Model Pre-training”☆1,002Jan 30, 2024Updated 2 years ago