Explore projects

An experimental study based on the test_FEMBEM solver

Project for StarPU website

Transmorpher is a software environment for defining and processing complex transformations of XML documents.

Recurrent network weight tuning

Custom latex files

Towards a reproducible research study with Guix

Minimal working example of an experimental study

Itauto: an Extensible Intuitionistic SAT Solver

Bibliography collection