Explore projects

Here the repository to provided a board to connect a Linky to LoraWan

Neural Network Adequate hardWare Architectures for Quantization

Aquaponie est la pratique d’agriculture associant dans un même milieu la culture de végétaux et l’élevage de poissons en symbiose

DLS code used at LIPhy

A plugin to enhance vpl design (CaseInE synchronisation for the designer, test generation, ...)

A CEGAR-based solver for maximum model counting

Fichiers sources pour les projets de robotique autour de RobAIR https://github.com/fabMSTICLig/RobAIR dans le cadre des cours d'Olivier Aycard https://lig-membres.imag.fr/aycard/index.php?&slt=enseignement