GitHub repository: statinf-otawa/elm
Primary language: C++
Description: ELM, a portable multi-feature library. Fork of https://git.renater.fr/anonscm/git/elm/elm.git. See https://sourcesup.renater.fr/projects/elm.