Topik · type-theory

type-theory

Repositori open source terpantau bertanda type-theory, diurutkan berdasarkan bintang.

Repositori

5

Total bintang

13.970

Rata-rata bintang

2.794

Porsi

0,00%

Topik yang sering muncul berdampingan dengan type-theory di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda type-theory.

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

#1
plt ↗@steshawCSS
Teori Bahasa Pemrograman λΠ
★ 5.362+3Perubahan bintang dalam 7 hari terakhir
#2
Kind ↗@HigherOrderCOHaskell
Bahasa pembuktian modern
★ 3.763-3Perubahan bintang dalam 7 hari terakhir
#3
agda ↗@agdaHaskell
Agda adalah bahasa pemrograman dengan pengetikan dependen / pembuktian teorema interaktif.
★ 2.922+1Perubahan bintang dalam 7 hari terakhir
#4
Coq-HoTT ↗@HoTTRocq Prover
Pustaka Coq untuk Homotopy Type Theory
★ 1.405+2Perubahan bintang dalam 7 hari terakhir
#5
typescript-sudoku ↗@gruhnTypeScript
Bermain Sudoku di TypeScript sementara pemeriksa tipe menyoroti kesalahan.
★ 517+0Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik