Explore projects
-
-
Static analyzers for higher-order languages
Updated -
Updated
-
Samifier is a decision support tool as a web service to help biologists to normalize metabolic identifiers. It enables to match personal identifiers of reactions and metabolites, to a given reference database.
Updated -
-
Updated
-
One of the essential steps to apply any supervised deep learning algorithm is to design a reliable and comprehensive dataset. We explore the use of a synthetic generator of vulnerabilities for Web secruty flaws.
Updated -
-
-
Basic system C/C++ interfaces to ease multi-language middleware integration
Updated -
GeCoS Framework provides the compiler runtime application, extension mechanisms such as compiler modules as well as the GeCoS compiler script (.cs) editor.
Updated -
MorphoNet is a novel concept of web-based morphodynamic browser to visualise and interact with complex datasets, with applications in research and teaching.
Updated -
Updated
-
Updated
-
-
Updated
-
Updated
-
Updated