Popular repositories Loading

1. pierrecagne.github.io pierrecagne.github.io Public

   Github page

   HTML

2. algo-prog-m1-fall16 algo-prog-m1-fall16 Public

   Programming sessions and project for the course "Introduction to algorithms" at Université Paris 7 (master level, oriented for math student) - Fall 2016

   TeX

3. mncubes mncubes Public

   Internship at LORIA (Nancy) in the team ADAGIo in 2011. It implements Bentley-Ottmann's algorithm in order to count (m,n)-cubes.

   C++

4. sudoku_dancing_links sudoku_dancing_links Public

   A sudoku solver in Python using Knuth's method of dancing links

   Python

5. SymmetryBook SymmetryBook Public

   Forked from UniMath/SymmetryBook

   This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

   TeX

6. mdc mdc Public

   Forked from npolar/mdc

   Material Design Components

   JavaScript