Alat pengembang & sumber terbuka✦Profil editorial
btcd
A Bitcoin full-node implementation written in Go.
☆ 6.711 +0 / 7dLihat entri
Alat pengembang & sumber terbuka
Certora/CertoraProver
Repositori GitHub publik, terutama memakai Kotlin.
Kegunaan
Certora/CertoraProver adalah repositori GitHub publik, terutama memakai Kotlin. Snapshot terakhir yang disimpan mencatat 337 bintang dan 48 fork. Topik: blockchain, certora, certora prover, ethereum, formal verification, security tools. Baca dokumentasi, lisensi, dan issue terkini sebelum memakai perangkat lunaknya.
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
Repositori GitHub
- Bintang
- 337
- Bintang bertambah · 7 hari
- —
- Fork
- 48
- Bahasa utama
- Kotlin
- Lisensi repositori
- GPL-3.0
- Push kode terakhir
- 14 Okt 2026
Popularitas dari bintang GitHub. Pertumbuhan 7 hari perlu sepekan cuplikan lokal. Ini koleksi kami, bukan tren resmi GitHub.
Sumber & kebaruan data
GitHub ↗Sumber diperbarui · 15 Okt 2026
Entri impor menautkan sumber. Entri membantu penemuan, bukan dukungan.