AMAURYCU

Pinned Repositories

setpartition_unrank
A Go library to lexicographicaly unrank set partitions
Language:Go20
Assistant-de-preuve
assistant de preuve au premier ordre créer dans le cadre d'un projet de L3
Language:OCaml00
Assistant-de-preuve2
Language:OCaml00
bool-circ
implémentation des circuits booléens réalisée dans le cadre d'un projet en L2
Language:Python00
CompressionROBDD
00
minic
implémentation d'un analyseur pour un sous language de C
Language:OCaml00
miniProjet
Language:Java00
Modelisation-Paris-Saclay
Representation du campus d'Orsay avec Processing dans le cadre d'un projet de l2
Language:Processing00
monColtALaFac
Implémentation du jeux Colt Express dans le cadre d'un projet en L2
Language:Java00
ProjetCPA
00

AMAURYCU's Repositories

AMAURYCU/CompressionROBDD
AMAURYCU/setpartition_unrank
A Go library to lexicographicaly unrank set partitions
Language:Go2
AMAURYCU/ProjetCPA
AMAURYCU/miniProjet
Language:Java
AMAURYCU/Modelisation-Paris-Saclay
Representation du campus d'Orsay avec Processing dans le cadre d'un projet de l2
Language:Processing
AMAURYCU/Assistant-de-preuve2
Language:OCaml
AMAURYCU/minic
implémentation d'un analyseur pour un sous language de C
Language:OCaml
AMAURYCU/monColtALaFac
Implémentation du jeux Colt Express dans le cadre d'un projet en L2
Language:Java
AMAURYCU/bool-circ
implémentation des circuits booléens réalisée dans le cadre d'un projet en L2
Language:Python
AMAURYCU/Assistant-de-preuve
assistant de preuve au premier ordre créer dans le cadre d'un projet de L3
Language:OCaml