Explore projects

Basic library which links only to QtCore (without references to gui features): expression, messages, cache, xml, tar, memory, crash,...

One-dimensional data interpolation and column operations from the command line

Virtual programming lab (version caseine).

library to ease tcltk gui programming

DLS code used at LIPhy

DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae

Edition numérique de la Chronique française de Guillaume Cretin - https://crenum.elan-numerique.fr/