All of the lecture notes that I digitized while at the University of Toronto
☆31Dec 14, 2021Updated 4 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
- This repository contains my coursework and labs while studying for my 3-year Computer Science degree at the University of Southampton.☆11May 22, 2024Updated 2 years ago
- A hypermedia oriented web server library☆14Jun 21, 2026Updated 4 months ago
- Encode failure and absence of value in TypeScript☆17Feb 26, 2026Updated 8 months ago
- Real-Time Mock Technical Interview Platform☆12Sep 2, 2025Updated last year
- 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.
- ☆13Jun 14, 2022Updated 4 years ago
- A realtime ray tracing engine in C++ with a proprietary math library, custom materials, and supporting transformations. More features and…☆10Dec 26, 2025Updated 10 months ago
- Torch Frontend for IREE☆26Dec 21, 2023Updated 2 years ago
- An interruption-free notification system for Linux☆21Sep 27, 2023Updated 3 years ago
- Generate dotfyle metadata for your config☆18Oct 3, 2025Updated last year
- Lean mathzoo☆24Mar 23, 2022Updated 4 years ago
- A minimal software renderer in C++. Currently sits at <600 lines of code. Includes loading meshes, multithreaded rasterization, and more☆13Jan 3, 2026Updated 10 months ago
- Multi-Hop Logical Reasoning in Knowledge Graphs☆21Mar 27, 2022Updated 4 years ago
- declutter your home directory!☆77Mar 7, 2022Updated 4 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.
- This GitHub repository showcases an example of running the Chroma DB Server in a Docker container, accessible to another service. Link to…☆10Dec 10, 2023Updated 2 years ago
- arXiv-Chat: An AI research assistant and Discord bot☆14Jul 16, 2023Updated 3 years ago
- Pushing the bf16 multiplication clock frequency to the max on the nominal corner on IHP 130nm 5L node.☆17Mar 29, 2026Updated 7 months ago
- Train AlphaZero on any JAX env☆14Oct 16, 2026Updated 2 weeks ago
- CPU-first, eager-execution tensor/autograd runtime and LLM inference engine written in pure Zig☆21Sep 9, 2026Updated last month
- Minimal FlashAttention in CUDA C++/CuTe: readable WMMA/CuTe kernels, no NxN workspace, up to 4.5x faster than naive PyTorch☆30Jun 2, 2026Updated 5 months ago
- my dotfiles☆14Oct 12, 2026Updated 3 weeks ago
- Please make sure to never copy my code directly, it will only result in you being punished by the university and then failing the course!☆31Feb 19, 2024Updated 2 years ago
- Batched square compact-Householder QR factorization.☆15Jul 2, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- AI leetcode interviewer that assesses tech applicants. Built on Langchain and OpenAI APIs. Recruiter-focused and tracks progress and subm…☆16Jun 6, 2023Updated 3 years ago
- A self-contained version of the tutorial which can be easily cloned and viewed by others.☆24Jun 24, 2019Updated 7 years ago
- Frontend web app for Sqrl Planner, a timetable planner for the University of Toronto.☆17Jun 12, 2023Updated 3 years ago
- A simple menu to handle some LSP requests.☆29Jan 12, 2023Updated 3 years ago
- Multilayer perceptron in vulkan☆16May 20, 2020Updated 6 years ago
- TVM for chips base on Xuantie CPU, an open deep learning compiler stack.☆31Feb 10, 2026Updated 8 months ago
- Rainbow tables utilities☆36Aug 21, 2014Updated 12 years ago
- A minimal implementation of the LLVM core libraries and tools☆22Aug 15, 2026Updated 2 months ago
- rooter.nvim is a neovim plugin written in lua to change current working directory to project's root directory.☆42Jun 8, 2022Updated 4 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.
- Navigate UW's bridges and tunnels☆22Feb 12, 2026Updated 8 months ago
- [ICML 2023] Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization☆31Sep 22, 2023Updated 3 years ago
- Compiler-R1: Towards Agentic Compiler Auto-tuning with Reinforcement Learning☆37Jul 14, 2025Updated last year
- 中国科学院大学高级计算机体系结构课程作业：使用OpenROAD-flow完成RTL到GDS全流程☆30May 30, 2020Updated 6 years ago
- A way to easily preview CSV files directly in Neovim using the csvlens CLI.☆40Apr 28, 2024Updated 2 years ago
- A Transformer Implementation in C++ and CUDA☆23Sep 2, 2024Updated 2 years ago
- My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.☆35Oct 19, 2026Updated 2 weeks ago