Mo-Fatah / cpmLinks
Career Page Monitor for monitoring career pages of multiple companies to help job seekers during the current Tech recession
☆19Updated 2 years ago
Alternatives and similar repositories for cpm
Users that are interested in cpm are comparing it to the libraries listed below
Sorting:
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Updated this week
- ☆22Updated last month
- A chrome extension that makes it effortless to view after-tax salary estimates directly on levels.fyi — helping you get a clearer picture…☆51Updated last month
- ☆22Updated last year
- Practice The CodeSignal Pre-screen for the Industry Coding Framework.☆282Updated last year
- Unofficial Client for Piazza's Internal API☆207Updated 6 months ago
- A walkthrough of personal-finance issues for young people with tech careers, complete with clearly-marked referral promotion opportunitie…☆95Updated 4 years ago
- Negotiating software engineering offers. Advice will be most helpful for new grad students targeting major computer science companies, bu…☆179Updated 4 years ago
- My undergraduate notes.☆57Updated 10 years ago
- the rules, tips, and tricks I've learned on how to approach tech internships☆582Updated 2 years ago
- 07-131 lab distribution☆16Updated 2 months ago
- Implementation of the Delta Language☆13Updated last year
- Interview Questions☆14Updated 7 years ago
- A repository of Spring 2024 software engineering new graduate positoins☆119Updated 2 years ago
- Guides and Resources for Landing a SWE Jobs.☆182Updated 7 years ago
- Chrome Extension to display a user's longest GitHub contribution streak in the last year☆10Updated 9 years ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Updated 11 months ago
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- Student-run wiki for students interested in computer science at Cornell University☆99Updated 2 years ago
- ☆107Updated last year
- ☆73Updated 5 years ago
- LightWeight activity tracker for mac☆22Updated 4 months ago
- A template file that helps leetcoders organize their leetcode solutions into patterns and help them keep track of what have been done☆173Updated 2 years ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆22Updated 2 weeks ago
- Collection of Fall 2022 tech internships!☆17Updated 4 years ago
- ☆45Updated 3 weeks ago
- ☆17Updated last year
- Anki flashcards for the whole set of LeetCode problems + NeetCode150 as a subdeck.☆368Updated 2 years ago
- AI-powered quiz generator☆27Updated 2 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Updated 11 months ago