Popular repositories Loading

1. SubtitlesPrinter SubtitlesPrinter Public

   Print subtitles above a X-screen, independently of the video player.

   C 8

2. projet_wdm_2016 projet_wdm_2016 Public

   Python

3. kmtester kmtester Public

   Script that notify when a kimsufi is available

   Python

4. tryalgo tryalgo Public

   Forked from jilljenn/tryalgo

   Basic and advanced algorithms and data structures

   Python

5. ch-transport ch-transport Public

   Contraction Hierarchies for transport graphs

   OCaml

6. coq coq Public

   Forked from coq/coq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml