Repositórios de código aberto acompanhados de jspecify, ordenados por estrelas.
Um artefato de anotações totalmente especificadas para potencializar verificações de análise estática, começando pela análise de nulidade.
