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"
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
vimrc
mdesharnais's Repositories
mdesharnais/mini-ml
A compiler for a subset of ML
mdesharnais/log660-webflix
mdesharnais/book
The Rust Programming Language
mdesharnais/SoSe17-FFP-haskell-http2-server
mdesharnais/vimrc
mdesharnais/Coq
Coq codes
mdesharnais/coq-full-abstraction-parallel-language
Coq formalization of the article "Full Abstraction for a Shared-Variable Parallel Language"
mdesharnais/coq-practical-ss17-amortised-ressource-bounds
Formalisation of Dr. Jost’s PhD thesis about an Automated Amortised Analysis
mdesharnais/lmu-WiSe2017-18-prolog-type-system
Implementation of a small type system for the Prolog programming language
mdesharnais/log320-lab3-line-of-action
Line of action
mdesharnais/coq-practical-ss17-stlc
A formalisation and implementation of the simply typed lambda calculus
mdesharnais/framework-VeriComp
Isabelle/HOL Framework for Verified Compilers
mdesharnais/handlebars.java
Logic-less and semantic Mustache templates with Java
mdesharnais/haskell-wc
Haskell implementation of UNIX wc command.
mdesharnais/isabelle-try1
mdesharnais/jooby
Scalable, fast and modular micro web framework for Java
mdesharnais/jooby-gradle-demo
mdesharnais/log330-washing-machine-system
mdesharnais/log635-lab3-bikexi
mdesharnais/log710-lab1-bash
mdesharnais/log710-lab2-scheduler
mdesharnais/log710-lab3-memory
mdesharnais/log735-lab1
mdesharnais/log792-type-systems-formalization
Formalization of types systems with Isabelle/HOL
mdesharnais/mysql-connector-j
MySQL Connector/J
mdesharnais/ocaml
The core OCaml system: compilers, runtime system, base libraries
mdesharnais/ocaml-lambda-calculus
mdesharnais/spec
WebAssembly specification, reference interpreter, and test suite.
mdesharnais/wasm-pl-isabelle
mdesharnais/WasmCert-Isabelle
A mechanisation of Wasm in Isabelle.