Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Downloading pocasts of RTS' dicodeurs, in a nice Python TUI
-
A template-intensive high-performance framework to simulate abstract computing models
-
A big LaTeX package you can't avoid to compile any of my LaTeX document. Might not be a good idea to use it if you're not me.
-
Slides for Inria's junior seminar: a short introduction to abstract interpretation
-
Math lectures for 1st year BSc at CRI
-
Internship proposal for 2nd year MSc. student
-
Internship proposal for 3rd year BSc. student
-
Slides for Gallium team's seminar: mixed C ans assembly, and ghost variables in a reduced product
-
A Pygments lexer for mixed C and (weird-style) x86 assembly.
-
Python scripts to post-process videos coming from 8mm film digitalization
-
-
Minimal implementation of Gauss-Jordan algorithm in Python for didactic purpose
-
Internship proposal for 3rd year BSc. student
-
Internship defense slides