主題 · dependent-types

dependent-types

標記 dependent-types 主題、收錄中的開源專案，依星數排序。

專案數

6

總星數

19,237

平均星數

3,206

佔比

0.00%

常跟 dependent-types 一起出現在同一個專案上的主題。

近期新秀

近 90 天內建立、標記 dependent-types 主題的專案。

近 90 天內還沒有新專案標記這個主題。

#1
rocq ↗@rocq-proverOCaml
Rocq Prover 是一個互動式定理證明器，或稱為證明助手。它提供一種正式語言，用於撰寫數學定義、可執行演算法和定理，並提供一個半互動式開發機器檢查證明的環境。
★ 5,562+4近 7 天星數變化
#2
Kind ↗@HigherOrderCOHaskell
一種現代證明語言
★ 3,763-1近 7 天星數變化
#3
FStar ↗@FStarLangF*
面向證明的程式語言
★ 3,103+4近 7 天星數變化
#4
Idris2 ↗@idris-langIdris
一種具有一等型別的純函數式程式設計語言
★ 3,052+3近 7 天星數變化
#5
agda ↗@agdaHaskell
Agda 是一種依賴型編程語言 / 交互式定理證明器
★ 2,922+3近 7 天星數變化
#6
magmide ↗@magmideRocq Prover
一種依賴型別證明語言，旨在讓軟體工程師能夠編寫可證明正確的裸機程式碼。
★ 835+0近 7 天星數變化

← 返回主題列表