Verified-zkEVM/ArkLib

Latest metric snapshot

2026-06-05: 295 stars and 68 forks.

Trending in Lean

1. 1. leanprover-community/mathlib4

   The math library of Lean 4

   GitHub repository with 3,391 stars and 1,376 forks.

   Trending score: 1.04; stars gained: +11; forks gained: +8.

   Language: Lean

   Topics: lean4

2. 2. facebookresearch/atlas-lean

   ATLAS Autoformalized Textbook Library At Scale

   GitHub repository with 215 stars and 22 forks.

   Trending score: 1.00; stars gained: +10; forks gained: +1.

   Language: Lean

3. 3. Robby955/FormalSLT

   Zero-sorry Lean 4 library: finite-sample SLT bounds, sharp McDiarmid, PAC-Bayes Bernstein margin shell, and Dudley chaining. Standard Lean/Mathlib axioms only.

   GitHub repository with 33 stars and 1 forks.

   Trending score: 0.90; stars gained: +7; forks gained: +0.

   Language: Lean

4. 4. google-deepmind/formal-conjectures

   A collection of formalized statements of conjectures in Lean.

   GitHub repository with 1,001 stars and 302 forks.

   Trending score: 0.88; stars gained: +4; forks gained: +1.

   Language: Lean

   Topics: formal-mathematics, lean4

5. 5. lean-ja/lean-by-example

   コード例で学ぶ Lean 言語

   GitHub repository with 168 stars and 14 forks.

   Trending score: 0.32; stars gained: +0; forks gained: +0.

   Language: Lean

6. 6. google-deepmind/alphaproof-nexus-results

   Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.

   GitHub repository with 156 stars and 15 forks.

   Trending score: 0.29; stars gained: +1; forks gained: +0.

   Language: Lean

Trending topic: formal-verification

1. 1. AeneasVerif/charon

   Analyze Rust crates without touching compiler internals

   GitHub repository with 357 stars and 43 forks.

   Trending score: 0.49; stars gained: +2; forks gained: +1.

   Language: Rust

   Topics: compiler, formal-methods, formal-verification, program-verification, rust, rust-lang

2. 2. cryspen/libcrux

   The formally verified crypto library for Rust

   GitHub repository with 237 stars and 49 forks.

   Trending score: 0.48; stars gained: +2; forks gained: +0.

   Language: C

   Topics: cryptography, encryption, formal-verification, signatures

3. 3. coproduct-opensource/nucleus

   Enforced permissions for AI agents - policy + enforcement in one stack

   GitHub repository with 16 stars and 2 forks.

   Trending score: 0.05; stars gained: +0; forks gained: +0.

   Language: Rust

   Topics: agent-security, ai-security, formal-verification, github-actions, lattice, mcp-security

4. 4. QWED-AI/qwed-verification

   AISecOps (AI Security Operations) framework for deterministic verification of AI systems. QWED verifies LLM outputs using math, logic, and symbolic execution — creating an auditable trust boundary for agentic AI systems. Not generation. Verification.

   GitHub repository with 57 stars and 9 forks.

   Trending score: 0.05; stars gained: +0; forks gained: +0.

   Language: Python

   Topics: ai-safety, ai-security, code-security, deterministic-ai, formal-verification, hallucination-detection

5. 5. Nagendhra-web/Immortal

   The self-healing engine for modern infrastructure. Detects failures in milliseconds, heals autonomously with agentic AI, proves every action with a post-quantum signed audit trail. 79 Go packages, 12-view operator dashboard, single binary. Apache 2.0.

   GitHub repository with 23 stars and 3 forks.

   Trending score: 0.04; stars gained: +0; forks gained: +0.

   Language: Go

   Topics: agentic-ai, ai-agents, anomaly-detection, causal-inference, chaos-engineering, devops

6. 6. viplee110/econ-theorist-ai

   An AI system for economic theorists, from idea discovery to theory paper development.

   GitHub repository with 5 stars and 0 forks.

   Trending score: 0.05.

   Language: PowerShell

   Topics: simulated-review, economic-theory, economics, ai-research, formal-verification, human-ai-collaboration