Tema · refinement-types

refinement-types

Repositorios de código abierto monitorizados etiquetados con refinement-types, ordenados por estrellas.

Repositorios

Estrellas totales

7774

Estrellas de media

1296

Proporción

0,00%

Temas que aparecen con frecuencia junto a refinement-types en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con refinement-types.

No hay repositorios nuevos con este tema en los últimos 90 días.

#1
ante ↗@jfecherRust
Un lenguaje de sistemas seguro y fácil
★ 2337+2Variación de estrellas de los últimos 7 días
#2
refined ↗@fthomasScala
Tipos de refinamiento para Scala.
★ 1733+0Variación de estrellas de los últimos 7 días
#3
liquidhaskell ↗@ucsd-progsysHaskell
Tipos líquidos para Haskell.
★ 1334+1Variación de estrellas de los últimos 7 días
#4
flux ↗@flux-rsRust
Tipos de refinamiento para Rust.
★ 910+1Variación de estrellas de los últimos 7 días
#5
deal ↗@life4Python
Diseño por contrato para Python. Escribe código libre de errores. Añade algunos decoradores y obtén análisis estático y pruebas de forma gratuita.
★ 909+4Variación de estrellas de los últimos 7 días
#6
iron ↗@IltotoreScala
Restricciones de tipo fuerte para Scala.
★ 554+0Variación de estrellas de los últimos 7 días