Pinned Repositories
Algav_Huffman
projet Algav Huffman Dynamique
CPS-RCR
Conception par contrat d'un jeu type "River City Ransom"
Mtac2_internship
OJacare2
interopérabilité entre ocaml et java : Portage d'O'Jacaré (G. Henry) pour OCaml-Java (X.Clerc)
PC2R_iSketch
Projet PC2R iSketch
PSTL
interopérabilité entre ocaml et java : Portage d'O'Jacaré (G. Henry) pour OCaml-Java (X.Clerc)
SVP_Encodage_Locally-Nameless
TAS_IA
projet de TAS : interprétation abstraite
Typi
Application Web de typage d’un mini-ML fonctionnel et impératif. (Juste un typeur lamdba...)
LambdaGen
beaCarre's Repositories
beaCarre/OJacare2
interopérabilité entre ocaml et java : Portage d'O'Jacaré (G. Henry) pour OCaml-Java (X.Clerc)
beaCarre/Typi
Application Web de typage d’un mini-ML fonctionnel et impératif. (Juste un typeur lamdba...)
beaCarre/CPS-RCR
Conception par contrat d'un jeu type "River City Ransom"
beaCarre/Algav_Huffman
projet Algav Huffman Dynamique
beaCarre/Mtac2_internship
beaCarre/PC2R_iSketch
Projet PC2R iSketch
beaCarre/PSTL
interopérabilité entre ocaml et java : Portage d'O'Jacaré (G. Henry) pour OCaml-Java (X.Clerc)
beaCarre/SVP_Encodage_Locally-Nameless
beaCarre/TAS_IA
projet de TAS : interprétation abstraite