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☆90Updated last year
- A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.☆21Updated last month
- 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
- An automatic recursive function transformer.☆10Updated 2 years ago
- ☆65Updated this week
- A fine-mapping method integrating GWAS summary statistics and functional annotation data☆11Updated 2 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated last year
- Companion repository for the book "Introduction to Software Design with Java"☆140Updated last week
- PL conference deadline countdowns☆65Updated 2 weeks ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆96Updated 4 years ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated last week
- 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 collection of tools for generating, manipulating and - most of all - solving parity games.☆37Updated last month
- Smalls CLIs to get a bibtex entries from a DOI, an arXiv ID or a PubMed ID and to pretty print bibtex entries (or files)☆64Updated last month
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated 2 years ago
- The PERPL Compiler☆14Updated 3 months ago
- A curated list of fellowships for graduate students in Computer Science and related fields.☆809Updated 3 months ago
- ☆70Updated 5 months ago
- Old Clowdr versions 1 & 2 from 2020☆36Updated 5 years ago
- One-for-all python script for running LLVM experiment☆11Updated 3 years ago
- ☆12Updated 4 years ago
- The main codex repository☆24Updated last week
- Repository for lectures and examples for COMSW4111 - Introduction to Databases, Spring 2024, Section 002☆36Updated last year
- Automatic parallel divide-and-conquer programs synthesizer☆16Updated 4 years ago
- Generates the student-facing Stat406 website☆12Updated last month
- A Python script to create cactus and scatter plots based on matplotlib☆27Updated 4 years ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆31Updated last week
- playing with gpt4☆14Updated 2 years ago
- Bioinformatics Ketrew Pipelines☆28Updated 4 years ago
- ☆18Updated 2 years ago