Explore projects

This sub-project, that is a workgroup within SYLVA project, is intended to define the list of CNFs and derived stacks to be validated (meaning demonstrating they can work on top of SYLVA stack), build scripts to run test in order to validate use of SYLVA capabilities by CNFs, setup the validation platform(s), run the required tests to validate CNFs and derived stacks and keep a registry of validations performed.

Information to reproduce results from SV-COMP

Tool definitions for uniget

♻️ Gitlab CI pipeline definition to build and test Debian projects - from https://salsa.debian.org/salsa-ci-team/pipeline.git

The Orchestrator is in charge of

reception of PEaCs; ordonnancing the execution of the tests defined by a PEaC; stopping the execution of a PEaC.

GnuPG is a complete and free implementation of the OpenPGP standard as defined by RFC4880 (also known as PGP).

WSClean (w-stacking clean) is a fast generic widefield imager. It implements several gridding algorithms and offers fully-automated multi-scale multi-frequency deconvolution. Manual: https://wsclean.readthedocs.io/

Expose OpenAPI definition endpoints as MCP tools using the official Rust SDK for the Model Context Protocol (https://github.com/modelcontextprotocol/rust-sdk)

This is the repository that contains configurations/definitions to deploy CIVITAS/CORE 2 on a k8s cluster. It consists of Helm Charts the Helmfile for the platform deployment, systems tests, etc.

♻️ Gitlab CI pipeline definition to build and test Debian projects - from https://salsa.debian.org/salsa-ci-team/pipeline.git

Component for syncing AI catalog agents and flows from YAML definitions in your repository

Extravasation Dose (ExtravDose) calculates local tissue dose from radiopharmaceutical extravasation during medical administration. The developed extravasation dosimetry model is a time-dependent, multi-dimensional, and multi-physics simulation that breaks the region into mesh/voxel volumes for analysis. It simulates the injection of a fluid with a defined activity concentration that is then transported throughout a region while accounting for mixing (i.e., concentration changes). With the transport of the concentrated fluid, a subsequent calculation of the spatial dependent dose rates and accumulated doses to tissue resulting from the fluid transport is determined. Models have been developed with the goal of focusing on ease of use for the end user in terms of the minimal number of required inputs while ensuring a reliable solution is obtained to help inform the decision-making process.

ERA Ontology / “ERA Vocabulary” means a Technical Document issued by the Agency pursuant to Article 4(8) of Directive (EU) 2016/797, establishing human and machine readable data definitions and presentations and linked quality and accuracy requirements for each data element (ontology) of the rail system.

The Agency shall ensure the ERA vocabulary is maintained to reflect regulatory and technical developments affecting the rail system.’

Component for syncing AI catalog agents and flows from YAML definitions in your repository

Entity definitions

Contains the fundamental classes and interfaces that define the basic functionality of the SCOP framework.

YAMLs for CKI pipeline definition