VCA-EPFL/graphiti

Verified graph rewriting (for dataflow circuits).

GitHub repository with 23 stars and 1 forks.

Language: Lean

Open provider repository

Latest metric snapshot

2026-06-15: 23 stars and 1 forks.

Similar repositories

  1. 1. leanprover/lean4

    Lean 4 programming language and theorem prover

    GitHub repository with 8,235 stars and 873 forks.

    Trending score: 2.33; stars gained: +13; forks gained: +2.

    Language: Lean

    Topics: lean, lean4

  2. 2. leanprover-community/mathlib4

    The math library of Lean 4

    GitHub repository with 3,443 stars and 1,404 forks.

    Trending score: 2.29; stars gained: +8; forks gained: +7.

    Language: Lean

    Topics: lean4

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

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

    GitHub repository with 239 stars and 19 forks.

    Trending score: 1.32; stars gained: +3; forks gained: +0.

    Language: Lean

  4. 4. Verified-zkEVM/clean

    Lean circuit DSL

    GitHub repository with 151 stars and 23 forks.

    Trending score: 1.26; stars gained: +3; forks gained: +0.

    Language: Lean

  5. 5. lfglabs-dev/verity

    Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

    GitHub repository with 119 stars and 14 forks.

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

    Language: Lean

  6. 6. google-deepmind/formal-conjectures

    A collection of formalized statements of conjectures in Lean.

    GitHub repository with 1,012 stars and 316 forks.

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

    Language: Lean

Trending in Lean

  1. 1. leanprover/lean4

    Lean 4 programming language and theorem prover

    GitHub repository with 8,235 stars and 873 forks.

    Trending score: 2.33; stars gained: +13; forks gained: +2.

    Language: Lean

    Topics: lean, lean4

  2. 2. leanprover-community/mathlib4

    The math library of Lean 4

    GitHub repository with 3,443 stars and 1,404 forks.

    Trending score: 2.29; stars gained: +8; forks gained: +7.

    Language: Lean

    Topics: lean4

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

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

    GitHub repository with 239 stars and 19 forks.

    Trending score: 1.32; stars gained: +3; forks gained: +0.

    Language: Lean

  4. 4. Verified-zkEVM/clean

    Lean circuit DSL

    GitHub repository with 151 stars and 23 forks.

    Trending score: 1.26; stars gained: +3; forks gained: +0.

    Language: Lean

  5. 5. lfglabs-dev/verity

    Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

    GitHub repository with 119 stars and 14 forks.

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

    Language: Lean

  6. 6. google-deepmind/formal-conjectures

    A collection of formalized statements of conjectures in Lean.

    GitHub repository with 1,012 stars and 316 forks.

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

    Language: Lean