Dépôts open source suivis de diku-dk, triés par étoiles.
Un langage de programmation fonctionnel à parallélisme de données.
