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
- An android app to hide files within other files☆15May 9, 2016Updated 10 years ago
- A geofencing sample using Leaflet maps.☆21May 11, 2016Updated 10 years ago
- My LeetCode solutions☆54Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Codesignal Coding Solutions☆55Apr 1, 2019Updated 7 years ago
- This is Demo Project That Implement HamSpam Classifier With Django...template credit :- https://www.youtube.com/user/TechGuyWeb☆32Mar 12, 2020Updated 6 years ago
- Dedicated Resources for the Low-Level System Design. Learn how to design and implement large-scale systems. Prep for the system design in…☆68Oct 1, 2020Updated 5 years ago
- Canadian Job Postings for Winter 2023 Internships, Summer 2023 Internships, Fall 2023 Internships, and 2023 Start New Grad☆149Nov 15, 2022Updated 3 years ago
- 2023 Internship Repository☆245Jun 12, 2023Updated 3 years ago
- The Agda standard library☆675Updated this week
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,145Apr 30, 2026Updated 4 months ago
- 基于Java基础类库编写的Flappy Bird☆723Dec 3, 2023Updated 2 years ago
- Processing scripts used to generative glitch / art / design☆1,027Apr 12, 2023Updated 3 years ago
- 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.
- Programming Languages Zoo☆1,593Jun 18, 2024Updated 2 years ago
- This Repo consists of Data structures and Algorithms☆667Apr 1, 2024Updated 2 years ago
- Summer 2027 software engineering, data science, AI, quant, product management, and hardware internship postings. Updated daily by Simplif…☆46,928Updated this week
- Collection of Fall 2025 tech internships!☆1,288May 17, 2025Updated last year
- ☆4,177May 2, 2025Updated last year
- This material is based on the System Design Masterclass (2025) course available on Udemy. You can find the course here: System Design Mas…☆1,102May 16, 2026Updated 3 months ago
- Contains Company Wise Questions sorted based on Frequency and all time☆20,175Jun 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.☆4,713Updated this week
- PDFs made from GATE Overflow site☆1,313May 27, 2026Updated 3 months 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.
- 2025 & 2026 New grad full-time roles in SWE, Quant, and PM.☆2,643Aug 21, 2026Updated last week
- ☆1,673Dec 24, 2023Updated 2 years ago
- 80x23 terminal tetris!☆3,294Jul 9, 2024Updated 2 years ago
- Mathematics for Robotics☆2,944Mar 21, 2022Updated 4 years ago
- 35 production-grade agentic AI architectures (Reflexion, LATS, GraphRAG, MemGPT, Voyager, BrowserAgent, ...) — a Python library and runna…☆4,187Jun 22, 2026Updated 2 months ago
- Learn Low Level Design (LLD) and prepare for interviews using free resources.☆26,485Aug 19, 2026Updated last week
- Lists of company wise questions. Every csv file in the companies directory corresponds to a list of questions on leetcode for a specific …☆29,391Aug 16, 2026Updated 2 weeks 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,655Dec 24, 2024Updated last year
- 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.
- Modern C++ Programming Course (C++03/11/14/17/20/23/26)☆16,069Apr 19, 2026Updated 4 months ago
- A list of practical knowledge-building projects.☆3,725Apr 12, 2024Updated 2 years ago
- Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purpos…☆34,624Oct 11, 2025Updated 10 months ago
- The core OCaml system: compilers, runtime system, base libraries☆6,538Updated this week
- The roadmap for learning the C++ programming language for beginners and experienced devs.☆3,541Updated this week
- Course Piracy Index 🏴☠️☆4,042Aug 3, 2024Updated 2 years ago
- Links to others' solutions to Projects (https://github.com/karan/Projects/)☆4,384Jul 10, 2024Updated 2 years ago