jrosain

Student.

École Normale Supérieure de LyonLyon

Pinned Repositories

Goeland
A first-order concurrent automated theorem prover
Language:Go131
Homotopy-Finiteness
A formalisation of the homotopy finiteness proof in Jonas Hoefer's prototype, and some applications.
Language:Emacs Lisp10
advent-of-code
Solutions for the Advent of Code (since 2020)
Language:C++00
Corrections-S6
Corrections mutualisées du S6 de la L3 informatique de l'Université de Montpellier
30
GitHub-Action-org-files-to-HMTL
A minimal GitHub action to export org-mode files to HTML and publish it as a GitHub page.
Language:Emacs Lisp00
ModuleDiffing
This directory aims towards giving better error messages for OCaml modules through tree diffing algorithms.
Language:OCaml00
poset-type-theory
Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
Language:Haskell00
Survival-Horror-Game
Repository for Hello World's second online game jam.
Language:ASP00
poset-type-theory
Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
Language:Haskell72

jrosain/poset-type-theory
Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
Language:Haskell
jrosain/Homotopy-Finiteness
A formalisation of the homotopy finiteness proof in Jonas Hoefer's prototype, and some applications.
Language:Emacs Lisp1
jrosain/GitHub-Action-org-files-to-HMTL
A minimal GitHub action to export org-mode files to HTML and publish it as a GitHub page.
Language:Emacs Lisp
jrosain/ModuleDiffing
This directory aims towards giving better error messages for OCaml modules through tree diffing algorithms.
Language:OCaml
jrosain/advent-of-code
Solutions for the Advent of Code (since 2020)
Language:C++
jrosain/Corrections-S6
Corrections mutualisées du S6 de la L3 informatique de l'Université de Montpellier
3
jrosain/Survival-Horror-Game
Repository for Hello World's second online game jam.
Language:ASP