由于 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 开发者
22k
668
32
+193
排名 #11
9月21日
查看详情

languagetool-org/languagetool

Java

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

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

tiagozip/cap

JavaScript

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

anti-abuse anti-bot anti-scraper
tiagozip
tiagozip 开发者
6.8k
465
1k
+15
排名 #9
6月6日
查看详情

sz3/libcimbar

C++

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

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

rocq-prover/rocq

OCaml

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

coq dependent-types proof-assistant
rocq-prover
rocq-prover 开发者
5.6k
763
1.2k
+1
排名 #5
9月21日
查看详情

agda/agda

Haskell

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

agda dependent-types programming-language
agda
agda 开发者
2.9k
429
1.1k
排名 #6
9月20日
查看详情

AeneasVerif/aeneas

OCaml

面向 Rust 程序的验证工具链

compiler coq deductive-reasoning
AeneasVerif
AeneasVerif 开发者
975
108
981
+3
排名 #3
9月21日
查看详情

status-im/nimbus-eth2

Nim

以太坊信标链的 Nim 实现

beacon-chain consensus-layer eth2
status-im
status-im 开发者
662
335
403
排名 #3
9月11日
查看详情

FStarLang/karamel

OCaml

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

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

supranational/sppark

Cuda

零知识模板库

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