RAFFALLI CHRISTOPHE

Software

  1. GLES 3 bindings for OCaml
  2. The PhoX proof assistant
  3. Bindlib a library for data structure with bound variables, available via opam
  4. GlSurf, version 2.1 (A version using gles3 is planned)
    5. (here are some results about random polynomials obtained with GlSurf)
  5. Callbacks-0.1: a camlp4 extension to generate C wrappers for OCaml functions (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

Last update: Monday 4 November 2019