GitHub repository: Inria-Prosecco/circus-green
Primary language: Nix
Description: CI System for CIRCUS-related Rust verification projects