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
- tasks from university courses☆51Jan 7, 2016Updated 10 years ago
- Benchmark repository of polyglot effect handler examples☆35Aug 21, 2025Updated 7 months 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
- I’m studying master embedded system diploma (Learn In Depth) with eng. Keroles☆20Aug 19, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆44Aug 11, 2025Updated 8 months ago
- A geofencing sample using Leaflet maps.☆22May 11, 2016Updated 9 years ago
- A code visualization tool for C++☆57Oct 27, 2025Updated 5 months ago
- Codesignal Coding Solutions☆50Apr 1, 2019Updated 7 years ago
- OpenMAX IL demos for Raspberry Pi☆85Oct 13, 2015Updated 10 years ago
- ☆61Jan 21, 2016Updated 10 years ago
- ☆68Mar 31, 2026Updated 2 weeks ago
- A comprehensive, curated collection of resources for learning Machine Learning, Deep Learning, and AI☆101Mar 10, 2025Updated last year
- Solutions to various HackerRank.com problems☆30Oct 1, 2020Updated 5 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.
- Collections of Question with solution that is most frequently asked in Interviews☆42Oct 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 2 years ago
- Canadian Job Postings for Winter 2023 Internships, Summer 2023 Internships, Fall 2023 Internships, and 2023 Start New Grad☆155Nov 15, 2022Updated 3 years ago
- 2023 Internship Repository☆247Jun 12, 2023Updated 2 years ago
- Topics (Tutorials) from HackerRank☆213Feb 3, 2026Updated 2 months ago
- InterviewBit Solutions☆194Apr 26, 2021Updated 4 years ago
- Solutions to problems on Interview Bit☆546Dec 22, 2022Updated 3 years ago
- This Repo consists of Data structures and Algorithms☆666Apr 1, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 重新分类 Leetcode 高频题☆1,345Mar 19, 2023Updated 3 years ago
- C++ Implementation of Algorithms (aka. Spaghetti Source)☆799Nov 8, 2021Updated 4 years ago
- T-414-ÁFLV: A Competitive Programming Course☆876Feb 15, 2024Updated 2 years ago
- List of Tech Company OAs. Save your time from finding them all over the internet.☆2,801Feb 10, 2026Updated 2 months ago
- Collection of Fall 2025 tech internships!☆1,296May 17, 2025Updated 11 months ago
- Lists of company wise questions. Every csv file in the companies directory corresponds to a list of questions on leetcode for a specific …☆22,793Jun 20, 2025Updated 9 months ago
- A Curated list of Topic wise Theory and Questions to Get You Started On Competitive Coding.☆1,783Jul 16, 2024Updated last year
- ☆1,661Dec 24, 2023Updated 2 years ago
- A curated list of awesome Qt and QML libraries, resources, projects, and shiny things.☆2,530Jan 6, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Lightweight C++ command line option parser☆4,730Mar 30, 2026Updated 2 weeks ago
- A list of practical knowledge-building projects.☆3,622Apr 12, 2024Updated 2 years ago
- A Data Structure Algorithms Low Level Design and High Level Design collection of resources.☆2,606Dec 24, 2024Updated last year
- Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purpos…☆34,056Oct 11, 2025Updated 6 months ago
- A categorized list of C++ resources.☆5,224Updated this week
- 算法竞赛模板库 by 灵茶山艾府 💭💡🎈☆8,334Updated this week
- The core OCaml system: compilers, runtime system, base libraries☆6,265Updated this week