Didier Le Botlan's repositories
ocaml-exenum
Exenum (OCaml library) : build efficient enumerations for datatypes. Inspired by Feat for Haskell.
ocaml-cryptodbm
Encrypted layer over the dbm library: access to serverless, key-value databases with symmetric encryption.
ocaml-adaparser
Parser of an approximation of a subset of Ada 2005. Written in Ocaml + Menhir + Lwt + ocamllex
docker-mini-gnat
Mini environment with gnat ada compiler. Based on mindeb.
playground-na3yygy0
Tech.io playground
Language:Ada000
tech-hints
Unordered list of misc. technical hints.