Projects · Explore · GitLab

Explore GitLab

Discover projects, groups and snippets. Share your projects with others

O

Quentin Aristote / OCaml Probabilistic Matrix Approximation

archived 0 0 0 0

Updated Aug 07, 2021
M

Jules Saget / MPRI 2.36.1 Project

Submission for the programming project of the MPRI course "Proof of Programs".

archived 0 0 0 0

Updated Feb 28, 2021
M

Jules Saget / MPRI 2.37.1 Exam

Ceci est ma contribution pour l'examen du cours 2.37.1 du MPRI.

archived 0 0 0 0

Updated Mar 03, 2021
O

Quentin Aristote / OCaml Probabilistic Programming

Probabilistic programming library for OCaml (MPRI 2.40 project).

archived 0 0 0 0

Updated Mar 24, 2022

Prev