Explore projects

ProVerif symbolic protocol verifier

Python class to help calling VARNA [API page] https://amibio.gitlabpages.inria.fr/varna-api/

LP-update policy and applications on multi-action RB

Itauto: an Extensible Intuitionistic SAT Solver

Lightweight task-based FMM using the block tree and OpenMP/StarPU/Specx. Vectorized with Inastemp. Works with multiple CUDA GPUs.

Custom latex files