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/SecurityReports
Herkese açık GitHub deposu.
Ne işe yarar
Certora/SecurityReports, herkese açık bir GitHub deposudur. Kaydedilen son anlık görüntüde 34 yıldız ve 3 fork bulunuyor. Konular: blockchain, certora, certora prover, ethereum, formal verification, security audits. Yazılımı kullanmadan önce belgeleri, lisansı ve güncel issue kayıtlarını oku.
Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits for leading Web3 protocols on EVM-based chains, Solana, and Stellar.
GitHub depoları
- Yıldız
- 34
- Kazanılan yıldız · 7 gün
- —
- Çatal
- 3
- Ana dil
- Kontrol edilmedi
- Depo lisansı
- Kontrol edilmedi
- Son kod gönderimi
- 24 Ağu 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.