amarjitdhillon / CP_2021Links
☆11Updated 3 years ago
Alternatives and similar repositories for CP_2021
Users that are interested in CP_2021 are comparing it to the libraries listed below
Sorting:
- Collection of leetcode company tag problems. Periodically updating.☆6,461Updated 6 years ago
- GitHub Action for syncing LeetCode submissions to GitHub☆357Updated 11 months ago
- Notes for the Lectures of Year 2 Computing 2021-22☆42Updated 2 years ago
- ☆91Updated 2 years ago
- Grokking the Coding Interview: Patterns for Coding Questions Alternative☆4,098Updated 4 months ago
- Mapping the Grokking Coding Interview Patterns to LeetCode☆299Updated last year
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆28Updated last year
- Collection of technical interview questions from companies anywhere from startups to FAANG!☆393Updated 3 years ago
- screenshots leetcode editorials and problems☆1,055Updated 2 years ago
- Solutions to problems that I solved on AlgoExpert.☆199Updated 3 years ago
- Modbat is a model-based API tester for stateful systems.☆23Updated 2 years ago
- This guide is what I did to get all 7 of my internships during my 4 years at university.☆36Updated 3 years ago
- A guide to crushing tech interviews.☆606Updated 6 years ago
- A simple tutorial about how to use the CIL compiler frontend☆12Updated last year
- It has PDF of questions of leetcode according to company wise.☆314Updated 5 years ago
- Covers all things student career, internships, and industry context☆295Updated 2 years ago
- List of Spring 2024 internship.☆20Updated 2 years ago
- My personal list of cool tech companies to work for☆115Updated 2 years ago
- Chanda-Abdul / Several-Coding-Patterns-for-Solving-Data-Structures-and-Algorithms-Problems-during-InterviewsSeveral Coding Patterns for Solving Data Structures and Algorithms Problems during Interviews☆3,986Updated last year
- The guide to online assessments and interviews☆2,371Updated 5 months ago
- Notes for first year Computing at Imperial College London☆54Updated 3 years ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆62Updated 3 weeks ago
- Libraries useful for Dafny programs☆48Updated 5 months ago
- ☆6,221Updated last month
- Verifying the SCION architecture using Gobra☆11Updated 2 weeks ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆72Updated 2 weeks ago
- The implementation of FOLD-R++ algorithm☆17Updated 2 years ago
- A curated set of links to formal methods involving provable code.☆216Updated 4 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆95Updated last year
- Simple one-page software engineer resume template in LaTeX☆174Updated 4 years ago