Repositórios de código aberto acompanhados de fthomas, ordenados por estrelas.
Tipos de refinamento para Scala
