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
kupl/VeriSmart-public
Herkese açık GitHub deposu, ana dili OCaml.
Ne işe yarar
kupl/VeriSmart-public, herkese açık bir GitHub deposudur, ana dili OCaml. Kaydedilen son anlık görüntüde 95 yıldız ve 25 fork bulunuyor. Konular: blockchain, ethereum, formal verification, program analysis, Akıllı sözleşmeler, solidity. Yazılımı kullanmadan önce belgeleri, lisansı ve güncel issue kayıtlarını oku.
a safety verifier for Solidity smart contracts
GitHub depoları
- Yıldız
- 95
- Kazanılan yıldız · 7 gün
- +0
- Çatal
- 25
- Ana dil
- OCaml
- Depo lisansı
- Kontrol edilmedi
- Son kod gönderimi
- 17 Oca 2023
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 · 16 Eki 2026
İçe aktarılan kayıtlar kaynaklarına bağlıdır. Kayıt bir tavsiye değildir.