Go extension for Visual Studio Code
Our lively notebook on Tango Controls & Friends
Computational knowledge graph based drug repositioning: an holistic approach
a graph generator
FAST extended release is the sequel of FAST model-checker developped at LSV.
This tools has been extended with TaPAS libraries in order to accept plugins for solvers of
the Presburger arithmetic.
Bordeaux University Hospital OMOP mappings documentation in the context of the European EHDEN project