Explore projects

JSDMS evaluation on IFN data

Pytorch setup to use cpp and mpfr in order to emulate neuron with limited bitwidth. The goal is to interface it with flopoco for easy evaluation of a neuron design before implementing it in hardware.

A skitz compiler, made to compile mincaml as a University project.

BIP compiler and execution engines.

Monitoring tools for Chirpstack LoRa Network Server

A CEGAR-based solver for maximum model counting

Julia Workflow Tutorial

SignNet and BasisNet

Scripts et configurations pour le déploiement d'un budcollector.

Service complet documenté ici : https://wiki.osug.fr/!isterre-geodata/resif/systemes/services/collecte_tqr_n%C5%93udb