Dépôts open source suivis de jspecify, triés par étoiles.
Un ensemble d'annotations entièrement spécifiées pour alimenter les vérifications d'analyse statique, en commençant par l'analyse de nullité.
