Topik · refinement-types

refinement-types

Repositori open source terpantau bertanda refinement-types, diurutkan berdasarkan bintang.

Repositori

Total bintang

7.767

Rata-rata bintang

1.295

Porsi

0,00%

Topik yang sering muncul berdampingan dengan refinement-types di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda refinement-types.

Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.

#1
ante ↗@jfecherRust
Bahasa pemrograman sistem yang aman dan mudah
★ 2.337+1Perubahan bintang dalam 7 hari terakhir
#2
refined ↗@fthomasScala
Refinement types untuk Scala
★ 1.733+2Perubahan bintang dalam 7 hari terakhir
#3
liquidhaskell ↗@ucsd-progsysHaskell
Tipe Liquid untuk Haskell
★ 1.334+2Perubahan bintang dalam 7 hari terakhir
#4
flux ↗@flux-rsRust
Refinement Types untuk Rust.
★ 909+2Perubahan bintang dalam 7 hari terakhir
#5
deal ↗@life4Python
🤝 Design by contract untuk Python. Tulis kode bebas bug. Tambahkan beberapa decorator, dapatkan analisis statis dan pengujian secara gratis.
★ 907+1Perubahan bintang dalam 7 hari terakhir
#6
iron ↗@IltotoreScala
Batasan tipe yang kuat untuk Scala
★ 554+0Perubahan bintang dalam 7 hari terakhir