Explore projects

Gathers technical materials to follow on what has been learnt and what is to be learnt

Implementing symbolic data structure numeric grounding

Python class to help calling VARNA [API page] https://htyao.gitlab.io/varna-api/

Itauto: an Extensible Intuitionistic SAT Solver

Implements a JavaScript JSON weak-syntax reader and writer.

ProVerif symbolic protocol verifier

Real-time capable task-space capacity evaluation python module https://auctus-team.gitlabpages.inria.fr/people/antunskuric/pycapacity/

Paper to add XOR and abelian group in ProVerif

Python Semantics in Skel

Project for StarPU website

Custom latex files

Bvpy is a python library, based on FEniCS, Gmsh & Meshio, to easily implement and study numerically Boundary Value Problems and Initial Boundary Value Problems through the Finite Element Method.