主题 · 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 天星标变化

← 返回主题列表