Software
- GLES 3 bindings for OCaml
- The PhoX proof assistant
- Bindlib a library for data structure with bound variables, available via opam
- GlSurf, version 2.1 (A version using gles3 is planned) (here are some results about random polynomials obtained with GlSurf)
- Callbacks-0.1: a camlp4 extension to generate C wrappers for OCaml functions (deprecated?)
- A small OCaml library to change the rounding for floatting point arithmetic (deprecated?)
- A library for formal and numerical calculus in OCaml
- A normalizer for pure and typed lambda-calculus
- Logic Algorithms
Last update: Monday 4 November 2019