Pinned Repositories
agda-seminar-app
algo-prog-m1-fall16
Programming sessions and project for the course "Introduction to algorithms" at Université Paris 7 (master level, oriented for math student) - Fall 2016
CS2440-2024
HoTTEST-Summer-School
HoTTEST Summer School materials
mdc
Material Design Components
mncubes
Internship at LORIA (Nancy) in the team ADAGIo in 2011. It implements Bentley-Ottmann's algorithm in order to count (m,n)-cubes.
patch-event
ES2019 browser library that sends user input events as JSON Patch operations
pierrecagne.github.io
Github page
placenames
Placenames in Norwegian polar areas
sudoku_dancing_links
A sudoku solver in Python using Knuth's method of dancing links
pierrecagne's Repositories
pierrecagne/agda-seminar-app
pierrecagne/algo-prog-m1-fall16
Programming sessions and project for the course "Introduction to algorithms" at Université Paris 7 (master level, oriented for math student) - Fall 2016
pierrecagne/CS2440-2024
pierrecagne/HoTTEST-Summer-School
HoTTEST Summer School materials
pierrecagne/mdc
Material Design Components
pierrecagne/mncubes
Internship at LORIA (Nancy) in the team ADAGIo in 2011. It implements Bentley-Ottmann's algorithm in order to count (m,n)-cubes.
pierrecagne/patch-event
ES2019 browser library that sends user input events as JSON Patch operations
pierrecagne/pierrecagne.github.io
Github page
pierrecagne/placenames
Placenames in Norwegian polar areas
pierrecagne/sudoku_dancing_links
A sudoku solver in Python using Knuth's method of dancing links
pierrecagne/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.