GitHub repository: statinf-otawa/otawa-project
Primary language: Python
Description: Meta-repository of the OTAWA project. Fork of https://sourcesup.renater.fr/projects/otawa/.