Chủ đề · type-theory

type-theory

Các kho mã nguồn mở đang theo dõi được gắn thẻ type-theory, sắp xếp theo số sao.

Kho mã

5

Tổng số sao

13.970

Số sao trung bình

2.794

Tỷ trọng

0,00%

Những chủ đề thường xuất hiện cùng type-theory trên cùng một kho mã.

Mới nổi gần đây

Các kho mã tạo trong 90 ngày qua và được gắn thẻ type-theory.

Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.

#1
plt ↗@steshawCSS
Lý thuyết ngôn ngữ lập trình λΠ
★ 5.362+1Thay đổi số sao trong 7 ngày qua
#2
Kind ↗@HigherOrderCOHaskell
Một ngôn ngữ chứng minh hiện đại
★ 3.763-1Thay đổi số sao trong 7 ngày qua
#3
agda ↗@agdaHaskell
Agda là một ngôn ngữ lập trình phụ thuộc kiểu / trình chứng minh định lý tương tác.
★ 2.922+3Thay đổi số sao trong 7 ngày qua
#4
Coq-HoTT ↗@HoTTRocq Prover
Một thư viện Coq dành cho Lý thuyết Kiểu Đồng luân (Homotopy Type Theory)
★ 1.405+1Thay đổi số sao trong 7 ngày qua
#5
typescript-sudoku ↗@gruhnTypeScript
Chơi Sudoku bằng TypeScript trong khi trình kiểm tra kiểu (type checker) làm nổi bật các lỗi.
★ 517-1Thay đổi số sao trong 7 ngày qua

← Quay lại danh sách chủ đề