RAFFALLI CHRISTOPHE

Software

  1. GLES 3 bindings for OCaml (2016-today)
  2. Parsers for OCaml (2016-today)
  3. PML: proved programming in a ML like language(2010-today)
  4. The PhoX proof assistant, version 0.8 (2005)
  5. Bindlib 3.0, a package for abstract syntax with binder (2006)
  6. GlSurf, version 2.1 (2003)
  7. Callbacks-0.1: a camlp4 extension to generate C wrappers for OCaml functions (2005)
  8. A small OCaml library to change the rounding for floatting point arithmetic (2003)
  9. A library for formal and numerical calculus in OCaml (2000)
  10. A normalizer for pure and typed lambda-calculus (1995)
  11. Logic Algorithms (1995)


Last update: Thursday 14 October 2021