Explore projects

Fork of the SMO, used to work around specific installation issues (hardcoded names and platform, etc.)

Help for understanding and leveraging the capabilities of the Jenkins Pipeline Library

Fork of Eclipse TRACE4CPS™ to work on enhancements of the runtime verification features for my Master's thesis.

⚠️ Changes are in the thesis branch!

Trace4cps project website

Trace4cps project

The CHESS project provides a model-driven, component-based methodology and tool support for the development of high-integrity systems for different domains. The methodology is particularly suited for space systems and industrial domains.

Supported by our member organizations, the Eclipse Foundation provides our community with Intellectual Property, Mentorship, Marketing, Event and IT Services.

Aidge meta-repository, which includes the main modules of the Aidge framework as Git submodules, plus the documentation and tutorials.

An open technology platform for the software-defined vehicle of the future.

This project maintains the official specification, Technology Compatiblity Kit (TCK), and documentation for the AsciiDoc language and its APIs. The AsciiDoc Language Specification describes the syntax, grammar, and APIs for the AsciiDoc language.