Sujet · refinement-types

refinement-types

Dépôts open source suivis étiquetés refinement-types, triés par étoiles.

Dépôts

6

Total d'étoiles

7 767

Étoiles en moyenne

1 295

Part

0,00%

Sujets qui apparaissent souvent aux côtés de refinement-types sur un même dépôt.

Ascensions récentes

Dépôts créés au cours des 90 derniers jours et étiquetés refinement-types.

Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.

#1
ante ↗@jfecherRust
Un langage système sûr et facile à utiliser
★ 2 337+1Évolution des étoiles sur les 7 derniers jours
#2
refined ↗@fthomasScala
Types de raffinement pour Scala.
★ 1 733+2Évolution des étoiles sur les 7 derniers jours
#3
liquidhaskell ↗@ucsd-progsysHaskell
Types liquides pour Haskell.
★ 1 334+2Évolution des étoiles sur les 7 derniers jours
#4
flux ↗@flux-rsRust
Types de raffinement pour Rust.
★ 909+2Évolution des étoiles sur les 7 derniers jours
#5
deal ↗@life4Python
Design by contract pour Python. Écrivez du code sans bug. Ajoutez quelques décorateurs pour obtenir gratuitement l'analyse statique et les tests.
★ 907+1Évolution des étoiles sur les 7 derniers jours
#6
iron ↗@IltotoreScala
Contraintes de typage fort pour Scala
★ 554+0Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets