Chủ đề · dependent-types

dependent-types

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

Kho mã

6

Tổng số sao

19.237

Số sao trung bình

3.206

Tỷ trọng

0,00%

Những chủ đề thường xuất hiện cùng dependent-types 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ẻ dependent-types.

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

#1
rocq ↗@rocq-proverOCaml
Rocq Prover là một hệ thống chứng minh định lý tương tác, hay trợ lý chứng minh. Nó cung cấp một ngôn ngữ hình thức để viết các định nghĩa toán học, thuật toán thực thi và định lý cùng với một môi trường để phát triển bán tương tác các chứng minh được máy tính kiểm tra.
★ 5.562+4Thay đổ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
FStar ↗@FStarLangF*
Một ngôn ngữ lập trình hướng chứng minh
★ 3.103+4Thay đổi số sao trong 7 ngày qua
#4
Idris2 ↗@idris-langIdris
Một ngôn ngữ lập trình thuần túy hàm với kiểu dữ liệu hạng nhất
★ 3.052+3Thay đổi số sao trong 7 ngày qua
#5
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
#6
magmide ↗@magmideRocq Prover
Một ngôn ngữ chứng minh phụ thuộc (dependently-typed) nhằm giúp các kỹ sư phần mềm có thể tạo ra mã bare metal chính xác.
★ 835+0Thay đổi số sao trong 7 ngày qua

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