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
- courseplan.io is a web app built in Vue.js to allow Cornell students to plan out their 4-year course schedule and track their college, ma…☆48Apr 14, 2026Updated last month
- ☆44Aug 11, 2025Updated 9 months ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 2021Updated 4 years ago
- moved from https://sourceforge.net/p/min-caml/code/☆528Sep 29, 2025Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 2023 Internship Repository☆246Jun 12, 2023Updated 2 years ago
- The Agda standard library☆664Updated this week
- user-mode TCP/IP stack based on linux tap device☆724Aug 13, 2023Updated 2 years ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,138Apr 30, 2026Updated last month
- Tiny dynamic menu for Wayland☆1,377Dec 30, 2024Updated last year
- Lua source internal☆1,482Oct 25, 2020Updated 5 years ago
- ☆762Apr 10, 2025Updated last year
- this is downloadings of all educative.io free student subscription courses as pdf from GitHub student pack☆784Jul 27, 2022Updated 3 years ago
- T-414-ÁFLV: A Competitive Programming Course☆884Feb 15, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- List of Tech Company OAs. Save your time from finding them all over the internet.☆2,864Jun 2, 2026Updated last week
- Summer 2026 software engineering, data science, AI, quant, product management, and hardware internship postings. Updated daily by Simplif…☆44,837Updated this week
- A hacker's userspace TCP/IP stack☆3,111Dec 13, 2022Updated 3 years ago
- 最全最新中国省，市，地区json及sql数据☆3,151Dec 9, 2022Updated 3 years ago
- The repository contains the ENGLISH description files attached to the video series in my ARABIC algorithms channel.☆1,664Sep 5, 2023Updated 2 years ago
- WebDriver Classic proxy for automating Firefox through Marionette☆7,472Updated this week
- A Curated list of Topic wise Theory and Questions to Get You Started On Competitive Coding.☆1,793Jul 16, 2024Updated last year
- 80x23 terminal tetris!☆3,279Jul 9, 2024Updated last year
- ☆1,666Dec 24, 2023Updated 2 years ago
- 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.
- Lightweight C++ command line option parser☆4,772Jun 3, 2026Updated last week
- A comprehensive resource for learning and implementing algorithms and data structures. This repository includes detailed notes, complexit…☆2,266Oct 2, 2023Updated 2 years ago
- A Data Structure Algorithms Low Level Design and High Level Design collection of resources.☆2,632Dec 24, 2024Updated last year
- Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purpos…☆34,333Oct 11, 2025Updated 7 months ago
- The core OCaml system: compilers, runtime system, base libraries☆6,399Updated this week
- A comprehensive machine learning repository containing 30+ notebooks on different concepts, algorithms and techniques.☆5,014Sep 22, 2023Updated 2 years ago
- Angrave's Crowd-Sourced System Programming Book used at UIUC☆5,736Jan 14, 2020Updated 6 years ago
- Course Piracy Index 🏴☠️☆3,976Aug 3, 2024Updated last year
- Pentaho Data Integration ( ETL ) a.k.a Kettle☆8,344Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A curated list of awesome CMake resources, scripts, modules and examples.☆5,386May 11, 2026Updated 3 weeks ago
- Competitive Programming & System Design Resources.☆3,829Jun 28, 2024Updated last year
- A simple C++11 Thread Pool implementation☆8,756Jul 20, 2024Updated last year
- Cracking the Coding Interview, 5th Edition☆5,137Jun 26, 2023Updated 2 years ago
- Class materials for a distributed systems lecture series☆9,712Mar 18, 2025Updated last year
- This repository contains opportunities for you to apply to more than 400 product base companies(NOT JUST FAANGM) & good start-ups.☆5,129Dec 9, 2025Updated 6 months ago
- A minimal GPU design in Verilog to learn how GPUs work from the ground up☆12,530Aug 18, 2024Updated last year