Geliştirici araçları ve açık kaynak✦Editoryal profil
btcd
A Bitcoin full-node implementation written in Go.
☆ 6.711 +0 / 7dKaydı görüntüle
Geliştirici araçları ve açık kaynak
Certora/CertoraProver
Herkese açık GitHub deposu, ana dili Kotlin.
Ne işe yarar
Certora/CertoraProver, herkese açık bir GitHub deposudur, ana dili Kotlin. Kaydedilen son anlık görüntüde 337 yıldız ve 48 fork bulunuyor. Konular: blockchain, certora, certora prover, ethereum, formal verification, security tools. Yazılımı kullanmadan önce belgeleri, lisansı ve güncel issue kayıtlarını oku.
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 depoları
- Yıldız
- 337
- Kazanılan yıldız · 7 gün
- —
- Çatal
- 48
- Ana dil
- Kotlin
- Depo lisansı
- GPL-3.0
- Son kod gönderimi
- 14 Eki 2026
Popülerlik GitHub yıldızlarına göre. 7 günlük büyüme tam haftalık yerel kayıt sonrası görünür. Bu resmî GitHub trend listesi değildir.
Kaynaklar ve güncellik
GitHub ↗Kaynak güncellendi · 15 Eki 2026
İçe aktarılan kayıtlar kaynaklarına bağlıdır. Kayıt bir tavsiye değildir.