RAFFALLI CHRISTOPHE

Software

  1. GLES 3 bindings for OCaml (2016)
  2. The PhoX proof assistant, version 0.8 (2005)
  3. Bindlib 3.0, a package for abstract syntax with binder (2006)
  4. GlSurf, version 2.1 (2003)
  5. (here are some results about random polynomials obtained with GlSurf)
  6. Callbacks-0.1: a camlp4 extension to generate C wrappers for OCaml functions (2005)
  7. A small OCaml library to change the rounding for floatting point arithmetic (2003)
  8. A library for formal and numerical calculus in OCaml (2000)
  9. A normalizer for pure and typed lambda-calculus (1995)
  10. Logic Algorithms (1995)


Last update: Monday 7 March 2016