1bitcoin.io
Bendera IndonesiaBahasa Indonesia

DIREKTORI BITCOIN & KRIPTO

1Bitcoin HUB

Temukan kegunaan Bitcoin.

Dompet, tempat belanja dan alat pengembang. Satu tempat.

Katalog↗

44.213entri
Proyek & layanan
6.112
Lokasi usaha
29.724
Repositori GitHub
8.377

Pilih dompet lewat Pencari dompet Bitcoin, atau mulai menerima lewat panduan usaha.

Jelajahi
Jelajahi proyek GitHub
Persempit pencarian
Cari di sekitar

Koordinatmu hanya digunakan saat kamu memilih pencarian sekitar.

#formal-verificationHapus filter

Jelajahi Hub

10 entri

Alat pengembang & sumber terbuka

leonardoalt/yools

Repositori GitHub publik, terutama memakai SMT.

ethereumevmformal verification
☆ 140 +0 / 7dLihat entri
Alat pengembang & sumber terbuka

oralang/ora

Repositori GitHub publik, terutama memakai Zig.

ethereumevmformal verification
☆ 29 +0 / 7dLihat entri
Alat pengembang & sumber terbuka

Inferara/inference

Repositori GitHub publik, terutama memakai Rust.

compilerformal specificationformal verification
☆ 25Lihat entri

Entri impor menautkan sumber. Entri membantu penemuan, bukan dukungan. Tentang Hub →

Cari di 1Bitcoin

Alat & panduan

Entri Hub