Pinned Repositories
adafileio
Ada helper library to read text files, line by line
begraphe2
docker-mini-gnat
Mini environment with gnat ada compiler. Based on mindeb.
libexpand
ocaml-adaparser
Parser of an approximation of a subset of Ada 2005. Written in Ocaml + Menhir + Lwt + ocamllex
ocaml-cryptodbm
Encrypted layer over the dbm library: access to serverless, key-value databases with symmetric encryption.
ocaml-exenum
Exenum (OCaml library) : build efficient enumerations for datatypes. Inspired by Feat for Haskell.
petri-net-game
td-1a-sobriete-numerique
tipx
lebotlan's Repositories
lebotlan/ocaml-exenum
Exenum (OCaml library) : build efficient enumerations for datatypes. Inspired by Feat for Haskell.
lebotlan/ocaml-cryptodbm
Encrypted layer over the dbm library: access to serverless, key-value databases with symmetric encryption.
lebotlan/ocaml-adaparser
Parser of an approximation of a subset of Ada 2005. Written in Ocaml + Menhir + Lwt + ocamllex
lebotlan/tipx
lebotlan/td-1a-sobriete-numerique
lebotlan/adafileio
Ada helper library to read text files, line by line
lebotlan/libexpand
lebotlan/begraphe2
lebotlan/docker-mini-gnat
Mini environment with gnat ada compiler. Based on mindeb.
lebotlan/petri-net-game
lebotlan/playground-na3yygy0
Tech.io playground
lebotlan/tech-hints
Unordered list of misc. technical hints.