Alat pengembang & sumber terbuka✦Profil editorial
btcd
A Bitcoin full-node implementation written in Go.
☆ 6.711 +0 / 7dLihat entri
Alat pengembang & sumber terbuka
kupl/VeriSmart-public
Repositori GitHub publik, terutama memakai OCaml.
Kegunaan
kupl/VeriSmart-public adalah repositori GitHub publik, terutama memakai OCaml. Snapshot terakhir yang disimpan mencatat 95 bintang dan 25 fork. Topik: blockchain, ethereum, formal verification, program analysis, Kontrak pintar, solidity. Baca dokumentasi, lisensi, dan issue terkini sebelum memakai perangkat lunaknya.
a safety verifier for Solidity smart contracts
Repositori GitHub
- Bintang
- 95
- Bintang bertambah · 7 hari
- +0
- Fork
- 25
- Bahasa utama
- OCaml
- Lisensi repositori
- Belum diperiksa
- Push kode terakhir
- 17 Jan 2023
Popularitas dari bintang GitHub. Pertumbuhan 7 hari perlu sepekan cuplikan lokal. Ini koleksi kami, bukan tren resmi GitHub.
Sumber & kebaruan data
GitHub ↗Sumber diperbarui · 16 Okt 2026
Entri impor menautkan sumber. Entri membantu penemuan, bukan dukungan.