Explore projects

General library to do 4D Particle Tracking Velocimetry.

Bac à sable pour initiation git

Implementation of the SMTApproxMC counting algorithm in C++ using Z3, with some optimizations for Chalice-generated files.

ACM exercices from UVA.

Programs written during my M1 internship.

The c++ code used for simulation and testing of the model