beaCarre

beaCarre's Stars

• beaCarre/OJacare2

  interopérabilité entre ocaml et java : Portage d'O'Jacaré (G. Henry) pour OCaml-Java (X.Clerc)

  Language:OCaml33

• beaCarre/Typi

  Application Web de typage d’un mini-ML fonctionnel et impératif. (Juste un typeur lamdba...)

  Language:OCaml2

• MarwanG/LambdaGen

  Language:OCaml1