Dépôts open source suivis de AliveToolkit, triés par étoiles.
Vérification automatique des optimisations LLVM.