Dépôts open source suivis de eurecom-s3, triés par étoiles.
SymCC : exécution symbolique efficace basée sur le compilateur.
