Logiciels
- GLES 3 interface pour OCaml
- Analyse grammatical pour OCaml (2016-today)
- PML: programmation prouvée dans un dialecte de ML(2010-today)
- l'assistant de preuves PhoX, version 0.8
- Bindlib: une bibliothèque pour les structures de données avec lieur en Ocaml, disponible via opam
- GlSurf, version 2.1 (on devrait passer à gles3 bientôt)
- Callbacks-0.1: une extension camlp4 pour générer les interfaces entre C et OCaml (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
Dernière modification : Thursday 14 October 2021