Explore projects

Tech.io playground

Mini environment with gnat ada compiler. Based on mindeb.

Unordered list of misc. technical hints.

Ada helper library to read text files, line by line

Encrypted layer over the dbm library: access to serverless, key-value databases with symmetric encryption.

Parser of an approximation of a subset of Ada 2005. Written in Ocaml + Menhir + Lwt + ocamllex

Exenum (OCaml library) : build efficient enumerations for datatypes. Inspired by Feat for Haskell.

Diades is a collection of academic tools that deal with the problem of discrete event systems.

Petri net library

Finite State Machine library (Automata)

C++ library of directed graphs

Source code of the Finite State Machine library (ddautomata). Used as a submodule

This submodule contains file to manipulate propositional logic based on BDDs

Source code of ddgraph. Used as a submodule.

Standalone Library of C++ utilities from ddutils_subm

C++ utilities. Used as a submodule