Dépôts open source suivis de granule-project, triés par étoiles.
Un langage fonctionnel linéaire à typage statique avec des types modaux gradués pour un raisonnement précis sur les programmes.
