CS246 course notes from the university of waterloo (Winter 2022)
☆28Jan 12, 2023Updated 3 years ago
Alternatives and similar repositories for CS246_Notes
Users that are interested in CS246_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:
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆23Dec 14, 2016Updated 9 years ago
- Mobile app to get around campus without going outside☆33Apr 13, 2024Updated 2 years ago
- An android app to hide files within other files☆15May 9, 2016Updated 10 years ago
- My LeetCode solutions☆54Updated this week
- 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.
- ☆34Nov 28, 2019Updated 6 years ago
- Codesignal Coding Solutions☆54Apr 1, 2019Updated 7 years ago
- ☆68Jul 17, 2026Updated 3 weeks ago
- Dedicated Resources for the Low-Level System Design. Learn how to design and implement large-scale systems. Prep for the system design in…☆69Oct 1, 2020Updated 5 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 2021Updated 4 years ago
- A Racket library for creative drawings and animations. Inspired by Processing.☆120May 12, 2023Updated 3 years ago
- A curated, regularly updated list of Canadian tech internships for Summer, Fall, and Winter 2026. Includes computer science, software eng…☆977Updated this week
- ☆234Jul 30, 2024Updated 2 years ago
- moved from https://sourceforge.net/p/min-caml/code/☆527Sep 29, 2025Updated 10 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 2023 Internship Repository☆245Jun 12, 2023Updated 3 years ago
- Summer 2027 and off-season tech internships in the US. Software, data and ML, hardware, quant, and product roles, updated regularly.☆891Aug 3, 2026Updated last week
- The Agda standard library☆675Updated this week
- Tiny dynamic menu for Wayland☆1,389Dec 30, 2024Updated last year
- Solutions to problems on Interview Bit☆539Dec 22, 2022Updated 3 years ago
- Programming Languages Zoo☆1,592Jun 18, 2024Updated 2 years ago
- This Repo consists of Data structures and Algorithms☆667Apr 1, 2024Updated 2 years ago
- ☆768Apr 10, 2025Updated last year
- T-414-ÁFLV: A Competitive Programming Course☆897Feb 15, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- My solution to the book A Collection of Data Science Take-Home Challenges☆1,720Mar 9, 2019Updated 7 years ago
- Summer 2026 software engineering, data science, AI, quant, product management, and hardware internship postings. Updated daily by Simplif…☆46,172Updated this week
- This material is based on the System Design Masterclass (2025) course available on Udemy. You can find the course here: System Design Mas…☆1,099May 16, 2026Updated 2 months ago
- Contains Company Wise Questions sorted based on Frequency and all time☆20,080Jun 23, 2024Updated 2 years ago
- Daily updated list of Tech Company OAs and Interview Problems. Save your time from finding them all over the internet.☆3,652Updated this week
- 2025 & 2026 New grad full-time roles in SWE, Quant, and PM.☆2,558Updated this week
- Notes of the book System Desgin Interview - An Insider's Guide☆8,776Jun 2, 2026Updated 2 months ago
- ☆1,672Dec 24, 2023Updated 2 years ago
- 80x23 terminal tetris!☆3,290Jul 9, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A curated list of awesome Qt and QML libraries, resources, projects, and shiny things.☆2,597Jan 6, 2026Updated 7 months ago
- Lightweight C++ command line option parser☆4,797Jul 13, 2026Updated 3 weeks ago
- 35 production-grade agentic AI architectures (Reflexion, LATS, GraphRAG, MemGPT, Voyager, BrowserAgent, ...) — a Python library and runna…☆4,096Jun 22, 2026Updated last month
- Learn Low Level Design (LLD) and prepare for interviews using free resources.☆26,035Feb 26, 2026Updated 5 months ago
- A comprehensive resource for learning and implementing algorithms and data structures. This repository includes detailed notes, complexit…☆2,271Oct 2, 2023Updated 2 years ago
- A Data Structure Algorithms Low Level Design and High Level Design collection of resources.☆2,651Dec 24, 2024Updated last year
- The core OCaml system: compilers, runtime system, base libraries☆6,517Updated this week