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☆86Updated last year
- ☆48Updated last year
- Starter project configuration for my COMP 303 Software Development course at McGill University☆12Updated 3 years ago
- Companion repository for the book "Introduction to Software Design with Java"☆134Updated last month
- Template for a (PhD) thesis☆10Updated 3 weeks ago
- Repository for lectures and examples for COMSW4111 - Introduction to Databases, Spring 2024, Section 002☆36Updated last year
- Justification diagrams made easier!☆21Updated 3 months ago
- Summer 2023 Internships☆33Updated 3 years ago
- Part of McGill U3/U4 that can be made public☆72Updated 3 years ago
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated 2 years ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆69Updated last year
- A collection of full time roles in SWE, Quant, and PM for new grads.☆15,741Updated this week
- A monadic library for symbolic evaluation☆73Updated 4 months ago
- Hahn: A Coq library☆29Updated last year
- PL conference deadline countdowns☆63Updated last week
- ☆33Updated 2 years ago
- ☆12Updated 4 years ago
- Micromega tactics for Mathematical Components☆28Updated last week
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆25Updated 10 months ago
- Genetic program repair using GHC☆33Updated last year
- Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker☆52Updated last year
- Performant and safe knowledge compilation in rust☆30Updated last week
- Claude skills for Lean 4 theorem proving☆41Updated 2 weeks ago
- Some class resources for classes I took/am taking at McGill as an undergraduate student.☆59Updated 5 years ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated 4 months ago
- Intermediate Memory Model (IMM) and compilation correctness proofs for it☆29Updated 9 months ago
- A collection of New Grad full time roles in SWE, Quant, and PM.☆1,783Updated 2 years ago
- Official repository of the Autosubst 2 project.☆25Updated 2 years 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
- A complete collection of my undergraduate notes☆34Updated 3 years ago