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

formal

话题找到数量

fabio-rovai/open-ontologies

Rust

计划、应用和回滚对生产本体的更改，并提供爆炸半径报告和审核员可以重新检查的证据。

ai-native description-logics formal-verification
fabio-rovai
fabio-rovai 开发者
1.8k
225
680
+343
排名 #4
10月27日
查看详情

scikit-learn-contrib/MAPIE

Jupyter Notebook

A scikit-learn-compatible library for estimating prediction intervals and controlling risks, based on conformal predictions.

classification confidence-intervals conformal-prediction
scikit-learn-contrib
scikit-learn-contrib 开发者
1.6k
171
312
+7
排名 #11
10月25日
查看详情

AeneasVerif/aeneas

OCaml

面向 Rust 程序的验证工具链

compiler coq deductive-reasoning
AeneasVerif
AeneasVerif 开发者
1.2k
143
1.4k
+9
排名 #1
11月3日
查看详情

cryspen/hax

OCaml

一款 Rust 验证工具

formal-verification rust
cryspen
cryspen 开发者
465
67
1.1k
+2
排名 #6
8月9日
查看详情

JuliaReach/LazySets.jl

Julia

Julia中可扩展的符号-数值集合计算

calculus computational-geometry convex-hull
JuliaReach
JuliaReach 开发者
258
39
1.1k
排名 #12
6月25日
查看详情

ucb-bar/chiseltest

Scala

面向Chisel设计RTL的全功能测试与形式验证库

chisel formal testing
ucb-bar
ucb-bar 开发者
234
75
1.4k
排名 #19
7月14日
查看详情

pq-code-package/mlkem-native

Assembly

基于C90的ML-KEM/FIPS 203安全、快速且可移植的实现方案

cryptography-library formal-verification ml-kem
pq-code-package
pq-code-package 开发者
202
56
1.2k
+1
排名 #10
6月21日
查看详情

pq-code-package/mldsa-native

Assembly

安全、快速且可移植的ML-DSA/FIPS 204 C90标准实现

formal-verification ml-dsa post-quantum-cryptography
pq-code-package
pq-code-package 开发者
99
54
1.4k
排名 #15
8月5日
查看详情
助手