FindICI: Using Machine Learning to Detect Linguistic Inconsistencies between Code and NaturalLanguage Descriptions in Infrastructure as Code
An Ansible role for managing a Galaxy server
A repository to test functionalities implemented in radon-h2020/radon-repository-miner
Python Framework to analyse Git repositories
RADON Training material and best practice examples
A curated list of references for MLOps
RADON Integrated development environment (IDE)
CDF SIG MLOps
RADON CI/CD templates
Replication package for the paper "Singling the Odd Ones Out: A Novelty Detection Approach to Find Defects in Infrastructure-as-Code"
RADON Methodology for developing microservices and serverless applications
Parser for TOSCA Simple Profile in YAML.
A Docker image based on openjdk:8-jdk-alpine for the CProver JBMC.
A Docker image to run the CProver CBMC