Beneficial-AI-Foundation/curve25519-dalek-lean-verify

Verifying curve25519-dalek using Lean

GitHub repository with 13 stars and 17 forks.

Language: Lean

Open provider repository

Latest metric snapshot

2026-06-08: 13 stars and 17 forks.

Similar repositories

  1. 1. leanprover/lean4

    Lean 4 programming language and theorem prover

    GitHub repository with 8,238 stars and 874 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. leanprover/cslib

    The Lean Computer Science Library (CSLib)

    GitHub repository with 587 stars and 159 forks.

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

    Language: Lean

    Topics: computer-science, 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 15 forks.

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

    Language: Lean

  6. 6. leanprover/comparator

    GitHub repository with 82 stars and 15 forks.

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

    Language: Lean

Trending in Lean

  1. 1. leanprover/lean4

    Lean 4 programming language and theorem prover

    GitHub repository with 8,238 stars and 874 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. leanprover/cslib

    The Lean Computer Science Library (CSLib)

    GitHub repository with 587 stars and 159 forks.

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

    Language: Lean

    Topics: computer-science, 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 15 forks.

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

    Language: Lean

  6. 6. leanprover/comparator

    GitHub repository with 82 stars and 15 forks.

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

    Language: Lean