druths / comp598-2021Links
Resources for the 2021 offering of COMP 598
☆23Updated 4 years ago
Alternatives and similar repositories for comp598-2021
Users that are interested in comp598-2021 are comparing it to the libraries listed below
Sorting:
- COMP303-Software Design at McGill University☆89Updated last year
- ☆65Updated this week
- ☆12Updated 4 years ago
- ☆315Updated 3 years ago
- Crowdsourced list of Canadian tech companies that are hiring Interns and New Grads for 2025☆1,990Updated last year
- Sets of LaTex course notes taken for various Math/CS classes at McGill University: currently include MATH 240, MATH 247, MATH 323 and a r…☆39Updated 5 years ago
- Summer 2023 Internships☆33Updated 3 years ago
- An ocaml implementation of conflict-driven reasoning☆14Updated 7 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆25Updated last year
- Canadian Job Postings for Winter 2023 Internships, Summer 2023 Internships, Fall 2023 Internships, and 2023 Start New Grad☆155Updated 3 years ago
- ECE 459: Programming for Performance☆515Updated this week
- ☆246Updated 4 years ago
- ☆19Updated 2 months ago
- A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.☆21Updated 6 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Updated 8 years ago
- Collection of Fall 2025 tech internships!☆1,301Updated 8 months ago
- Type-and-example-driven program synthesis for functional programming languages☆27Updated 6 years ago
- 🏗 Starter code for UW Blueprint projects. Check out the docs: https://uwblueprint.github.io/starter-code-v2☆14Updated last year
- US Tech intern/new-grad positions for 2024☆442Updated 2 years ago
- Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]☆15Updated last year
- AI-assisted verification of Dafny Programs☆17Updated 2 months ago
- An abstract-interpretation-based static analysis for inferring refinement types☆16Updated 5 months ago
- List of Tech Company OAs. Save your time from finding them all over the internet.☆2,729Updated 6 months ago
- Micromega tactics for Mathematical Components☆28Updated last month
- Public course website for Spring 2024 materials.☆16Updated last year
- A collection of New Grad full time roles in SWE, Quant, and PM.☆1,778Updated 3 years ago
- Main course webpage for CPSC 310.☆217Updated last month
- An automatic recursive function transformer.☆10Updated 2 years ago
- flexible 'let rec' generation for MetaOCaml☆28Updated last week
- Dice Language Support for VS Code☆10Updated 5 years ago