Explore projects
-
-
Static analyzers for higher-order languages
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
-
Updated
-
Tiptop reads hardware performance counters and displays statistics about running processes, such as IPC, or cache misses. The statistics are shown in real time, in a way very similar to the "top" utility.
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 -
-
GeCoS Framework provides the compiler runtime application, extension mechanisms such as compiler modules as well as the GeCoS compiler script (.cs) editor.
Updated -
Basic system C/C++ interfaces to ease multi-language middleware integration
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
-
-
-
ESP32 firmware providing a REST API for controlling the GPIO interface and higher functions
Updated -