ไดเรกทอรี BITCOIN และคริปโต

1Bitcoin HUB

ค้นหาการใช้งาน Bitcoin ที่มีประโยชน์

กระเป๋า ร้านค้า และเครื่องมือพัฒนาในที่เดียว

แค็ตตาล็อก↗

44,198รายการ
โครงการและบริการ
6,104
ตำแหน่งร้านค้า
29,719
คลัง GitHub
8,375
สำรวจ
สำรวจโครงการ GitHub
กรองการค้นหา
ค้นหาใกล้เคียง

พิกัดของคุณจะใช้เฉพาะเมื่อเลือกค้นหาใกล้เคียง

#formal-verificationล้างตัวกรอง

เรียกดูฮับ

10 รายการ

เครื่องมือนักพัฒนาและโอเพนซอร์ส

Certora/CertoraProver

คลังโค้ด GitHub สาธารณะ โดยใช้ Kotlin เป็นภาษาหลัก

blockchaincertoracertora prover
เครื่องมือนักพัฒนาและโอเพนซอร์ส

leonardoalt/yools

คลังโค้ด GitHub สาธารณะ โดยใช้ SMT เป็นภาษาหลัก

ethereumevmformal verification
เครื่องมือนักพัฒนาและโอเพนซอร์ส

kupl/VeriSmart-public

คลังโค้ด GitHub สาธารณะ โดยใช้ OCaml เป็นภาษาหลัก

blockchainethereumformal verification
เครื่องมือนักพัฒนาและโอเพนซอร์ส

zenprotocol/zen-wallet

คลังโค้ด GitHub สาธารณะ โดยใช้ C# เป็นภาษาหลัก

Bitcoinblockchainformal methods
เครื่องมือนักพัฒนาและโอเพนซอร์ส

oralang/ora

คลังโค้ด GitHub สาธารณะ โดยใช้ Zig เป็นภาษาหลัก

ethereumevmformal verification
เครื่องมือนักพัฒนาและโอเพนซอร์ส

Inferara/inference

คลังโค้ด GitHub สาธารณะ โดยใช้ Rust เป็นภาษาหลัก

compilerformal specificationformal verification

ข้อมูลนำเข้ามีลิงก์แหล่งที่มา รายการช่วยค้นหา ไม่ใช่การรับรอง เกี่ยวกับฮับ →

ค้นหา 1Bitcoin

เครื่องมือและคู่มือ

รายการฮับ