RAFFALLI CHRISTOPHE

Logiciels

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

Dernière modification : Thursday 14 October 2021