Project | Type/Origin | Description |
|
---|
 | Inria | ASM: all purpose Java bytecode manipulation and analysis framework. |
|
 | EU H2020 | DECIDE: DevOps for trusted, portable and interoperable multi-Cloud applications towards the Digital single market. |
|
 | EU H2020 | ENACT: Development, Operation, and Quality Assurance of Trustworthy Smart IoT Systems. |
|
 | EU H2020 | MELODIC: Multi-cloud Execution-ware for Large-scale Optimised Data-Intensive Computing. |
|
 | CNRS / Université d'Artois | Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems. |
|
 | Inria | Spoon is an open-source library for analyzing and transforming Java source code, that provides a complete, fine-grained Java metamodel. |
|
 | French ANR / EU IST | The WebLab is an open source platform aiming at providing intelligence (business, strategic, military...) solutions and any other applications that need to process multimedia data (text, image, audio and video). |
|
 | EU H2020 (DECODE) | Zenroom crypto VM for database/blockchain is a tiny and portable virtual machine that integrates in any application to authenticate and restrict access to data and execute human-readable smart contracts. |
|