02 / Repository index

仓库档案库

按平台、分类、语言与许可组合筛选；每条记录都能回到仓库原文核对。

4 records · filtered

用需求找仓库

Showing 4 of 4

T

trufflesecurity/trufflehog28.7k

Find, verify, and analyze leaked credentials

v3.99.7Gocredentialsdevsecops

更新于 1 天前AGPL-3.0

D

dafny-lang/dafny3.6k

Dafny is a verification-aware programming language

v4.11.0C#programming-languageverification

更新于 5 小时前NOASSERTION

P

prusti/prusti1.8k

A static verifier for Rust, based on the Viper verification infrastructure.

v-2023-08-22-1715Rustformal-verificationrust

更新于 4 小时前NOASSERTION

C

chunxiaoxx/nautilus-compass1.3k

Open memory & reliability layer for AI agents + independent judging/verification (NACRE judge, caliber-bench meta-benchmark, preregistered criteria) — by Nautilus Platform

v3.3.0Pythona2aagent-memory

更新于 2 小时前NOASSERTION