Developer tools & open source✦Editorial profile
Ord
Bitcoin ordinal indexing and inscription-related tooling.
☆ 3,966View listing
Developer tools & open source
Certora/CertoraProver
Public crypto repository written primarily in Kotlin.
What it does
Certora/CertoraProver is a public GitHub repository with Kotlin as its primary reported language. GitHub reports 337 stars and 48 forks at the latest snapshot. Its topics include blockchain, certora, certora-prover, ethereum, formal-verification, security-tools. Read the repository documentation, license and current issues before using the software.
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
GitHub repositories
- Stars
- 337
- Stars gained · 7 days
- —
- Forks
- 48
- Primary language
- Kotlin
- Repository license
- GPL-3.0
- Last code push
- 7 Sep 2026
Popularity comes from GitHub stars. Seven-day growth appears after a full week of local snapshots; this is our collection, not GitHub’s official trending chart.
Sources & freshness
GitHub ↗Source refreshed · 9 Oct 2026
Imported records link to their sources. An entry is a discovery aid, not an endorsement.