Matthias Cremieux's repositories
fd-watcher
Simple watchdog for file descriptors written in C
Master_DAC
This repo contains all the code for the practical sessions of two courses of master DAC : Reinforcement learning and Advanced Deep Learning.
ComposingContracts
An implementation of the paper of S. Peyton-Jones
Language:HaskellMIT000
Language:C000
000
Language:HTMLMIT000
Language:Jupyter Notebook000
Language:Python000