由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

proof

话题找到数量

bendlang/bend

TypeScript

Bend 2：一种通过证明阻止人工智能错误的快速语言。安装：curl -fsSL https://bend-lang.com/install.sh |嘘

bend cuda dependent-types
bendlang
bendlang 开发者
24k
767
1.1k
+107
排名 #4
10月24日
查看详情

languagetool-org/languagetool

Java

支持25种以上语言的样式与语法检查器

grammar natural-language natural-language-processing
languagetool-org
languagetool-org 开发者
14k
1.6k
1.8k
+15
排名 #3
9月4日
查看详情

tiagozip/cap

JavaScript

面向现代网络的隐私优先、自托管验证码解决方案。

anti-abuse anti-bot anti-scraper
tiagozip
tiagozip 开发者
7.9k
600
1.4k
+12
排名 #9
9月29日
查看详情

sz3/libcimbar

C++

彩色图标矩阵条形码的优化实现

barcode cpp17 fountain-codes
sz3
sz3 开发者
6.3k
457
1.1k
+20
排名 #6
8月2日
查看详情

rocq-prover/rocq

OCaml

Rocq证明器是交互式定理证明器（或称证明助手），提供形式化语言来编写数学定义、可执行算法和定理，并配备半交互式开发机器验证证明的环境

coq dependent-types proof-assistant
rocq-prover
rocq-prover 开发者
5.7k
771
1.7k
+1
排名 #3
11月4日
查看详情

agda/agda

Haskell

Agda是一种依赖类型编程语言/交互式定理证明器。

agda dependent-types programming-language
agda
agda 开发者
3k
432
1.6k
+9
排名 #5
11月1日
查看详情

AeneasVerif/aeneas

OCaml

面向 Rust 程序的验证工具链

compiler coq deductive-reasoning
AeneasVerif
AeneasVerif 开发者
1.2k
144
1.4k
+7
排名 #5
11月5日
查看详情

status-im/nimbus-eth2

Nim

以太坊信标链的 Nim 实现

beacon-chain consensus-layer eth2
status-im
status-im 开发者
666
350
924
+4
排名 #2
10月31日
查看详情

FStarLang/karamel

OCaml

KaRaMeL 是一款将底层 F* 程序提取为可读 C 代码的工具

c-language cryptography f-star
FStarLang
FStarLang 开发者
515
72
1.2k
排名 #18
6月29日
查看详情

rzk-lang/rzk

Haskell

基于合成 ∞ 范畴类型论的实验证明助手。

category-theory haskell homotopy-type-theory
rzk-lang
rzk-lang 开发者
304
33
787
+6
排名 #4
10月4日
查看详情

supranational/sppark

Cuda

零知识模板库

bls12-377 bls12-381 cuda
supranational
supranational 开发者
220
98
984
+1
排名 #12
7月13日
查看详情
助手