Thema · refinement-types

refinement-types

Erfasste Open-Source-Repos mit dem Tag refinement-types, sortiert nach Sternen.

Repos

6

Sterne gesamt

7.767

Sterne im Schnitt

1.295

Anteil

0,00%

Themen, die häufig gemeinsam mit refinement-types am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit refinement-types getaggt wurden.

In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.

#1
ante ↗@jfecherRust
Eine sichere, einfache Systemprogrammiersprache
★ 2.337+1Sterne-Änderung der letzten 7 Tage
#2
refined ↗@fthomasScala
Refinement-Typen für Scala
★ 1.733+2Sterne-Änderung der letzten 7 Tage
#3
liquidhaskell ↗@ucsd-progsysHaskell
Liquid Types für Haskell.
★ 1.334+2Sterne-Änderung der letzten 7 Tage
#4
flux ↗@flux-rsRust
Refinement Types für Rust
★ 909+2Sterne-Änderung der letzten 7 Tage
#5
deal ↗@life4Python
🤝 Design by Contract für Python. Schreiben Sie fehlerfreien Code. Fügen Sie ein paar Dekoratoren hinzu und erhalten Sie statische Analysen und Tests kostenlos.
★ 907+1Sterne-Änderung der letzten 7 Tage
#6
iron ↗@IltotoreScala
Starke Typeneinschränkungen für Scala
★ 554+0Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen