Dépôts open source suivis de SMTorg, triés par étoiles.
SMT : La boîte à outils de modélisation de substitution.
