axiomcodegraph
+120Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
formal-methods
Chủ đề #formal-methods trên GitHub — repository trong kho Beeknoee có gắn topic này.
- Repository
- 9
- Tổng sao
- 21.5k
- 24 giờ
- +0.2%
- 7 ngày
- +1.1%
- 30 ngày
- +2.4%
Repository trong #formal-methods
aeneas
+29A verification toolchain for Rust programs
quint-co/quint
+29An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
jacobian
+23Composable mathematics tools for agents
creusot
+10Creusot helps you prove your Rust code is correct.
Formal-Verification-RSI
+10Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
p-org/P
+3The P programming language.
verified-3d-mesh-intersection
+1Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
Chủ đề khác
Các chủ đề phổ biến khác trong kho Beeknoee
