Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
A Unified Runtime System for Heterogeneous Multicore Architectures
-
The FloPoCo arithmetic core generator
-
Intuitionistic SMT for Coq
-
-
-
Heptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).
-
A generic C++/Python hybrid library for efficient (fixed-parameter tractable) Boltzmann sampling.
-
Utilities (mostly Python) I use around aevol (https://gitlab.inria.fr/aevol/aevol).
-
-
-
-
-
An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
-
-
-
isogeometric solver for PDE systems
-
-
-
The AIDE project software development bundle
