Pinned Repositories
book
The Rust Programming Language
Coq
Coq codes
coq-full-abstraction-parallel-language
Coq formalization of the article "Full Abstraction for a Shared-Variable Parallel Language"
coq-practical-ss17-amortised-ressource-bounds
Formalisation of Dr. Jost’s PhD thesis about an Automated Amortised Analysis
LOG210
LOG610_LAB4
log660-webflix
mediatheque
Projet de médiathèque du département de musique du cégep de Trois-Rivières
mini-ml
A compiler for a subset of ML
SoSe17-FFP-haskell-http2-server
mdesharnais's Repositories
mdesharnais/log430-lab2-layers
mdesharnais/log430-lab3-implicit-invocation
mdesharnais/log320-sudoku
mdesharnais/log430-lab1-pipe-and-filter
mdesharnais/libencoding
mdesharnais/LOG210
mdesharnais/LOG610_LAB4
mdesharnais/mediatheque
Projet de médiathèque du département de musique du cégep de Trois-Rivières