RAFFALLI CHRISTOPHE

Logiciels

  1. GLES 3 interface pour OCaml
  2. l'assistant de preuves PhoX, version 0.8
  3. Bindlib: une bibliothèque pour les structures de données avec lieur en Ocaml, disponible via opam
  4. GlSurf, version 2.1 (on devrait passer à gles3 bientôt)
  5. Callbacks-0.1: une extension camlp4 pour générer les interfaces entre C et OCaml (deprecated?)
  6. A small OCaml library to change the rounding for floatting point arithmetic (deprecated?)
  7. A library for formal and numerical calculus in OCaml
  8. A normalizer for pure and typed lambda-calculus
  9. Logic Algorithms

Dernière modification : Monday 4 November 2019