This is the source code generating the Green Instances List https://greenfediverse.frama.io/green-instances