Tópico · refinement-types

refinement-types

Repositórios de código aberto acompanhados marcados com refinement-types, ordenados por estrelas.

Repositórios

Total de estrelas

7.767

Média de estrelas

1.295

Participação

0,00%

Tópicos que aparecem com frequência ao lado de refinement-types no mesmo repositório.

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com refinement-types.

Nenhum repositório novo marcado com este tópico nos últimos 90 dias.

#1
ante ↗@jfecherRust
Uma linguagem de sistemas segura e fácil.
★ 2.337+1Variação de estrelas nos últimos 7 dias
#2
refined ↗@fthomasScala
Tipos de refinamento para Scala
★ 1.733+2Variação de estrelas nos últimos 7 dias
#3
liquidhaskell ↗@ucsd-progsysHaskell
Liquid Types para Haskell
★ 1.334+2Variação de estrelas nos últimos 7 dias
#4
flux ↗@flux-rsRust
Tipos de refinamento para Rust
★ 909+2Variação de estrelas nos últimos 7 dias
#5
deal ↗@life4Python
🤝 Design por contrato para Python. Escreva código livre de bugs. Adicione alguns decoradores e obtenha análise estática e testes gratuitamente.
★ 907+1Variação de estrelas nos últimos 7 dias
#6
iron ↗@IltotoreScala
Restrições de tipo forte para Scala
★ 554+0Variação de estrelas nos últimos 7 dias