Topik · dependent-types

dependent-types

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

Repositori

Total bintang

19.237

Rata-rata bintang

3.206

Porsi

0,00%

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

Yang sedang naik

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

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

#1
rocq ↗@rocq-proverOCaml
Rocq Prover adalah pembuktian teorema interaktif atau asisten pembuktian. Ini menyediakan bahasa formal untuk menulis definisi matematika, algoritma yang dapat dieksekusi, dan teorema bersama dengan lingkungan untuk pengembangan pembuktian yang diperiksa mesin secara semi-interaktif.
★ 5.562+4Perubahan bintang dalam 7 hari terakhir
#2
Kind ↗@HigherOrderCOHaskell
Bahasa pembuktian modern
★ 3.763-1Perubahan bintang dalam 7 hari terakhir
#3
FStar ↗@FStarLangF*
Bahasa pemrograman yang berorientasi pada pembuktian
★ 3.103+4Perubahan bintang dalam 7 hari terakhir
#4
Idris2 ↗@idris-langIdris
Bahasa pemrograman fungsional murni dengan tipe data kelas satu
★ 3.052+3Perubahan bintang dalam 7 hari terakhir
#5
agda ↗@agdaHaskell
Agda adalah bahasa pemrograman dengan pengetikan dependen / pembuktian teorema interaktif.
★ 2.922+3Perubahan bintang dalam 7 hari terakhir
#6
magmide ↗@magmideRocq Prover
Bahasa pembuktian bertipe-dependen yang dirancang agar insinyur perangkat lunak dapat membuat kode bare metal yang terbukti benar.
★ 835+0Perubahan bintang dalam 7 hari terakhir