เครื่องมือนักพัฒนาและโอเพนซอร์ส✦โปรไฟล์บรรณาธิการ
btcd
A Bitcoin full-node implementation written in Go.
☆ 6,711 +0 / 7dดูรายละเอียด
เครื่องมือนักพัฒนาและโอเพนซอร์ส
Certora/CertoraProver
คลังโค้ด GitHub สาธารณะ โดยใช้ Kotlin เป็นภาษาหลัก
ใช้งานอะไร
Certora/CertoraProver เป็นคลังโค้ด GitHub สาธารณะ โดยใช้ Kotlin เป็นภาษาหลัก ภาพรวมล่าสุดที่บันทึกไว้ระบุว่ามี 337 ดาวและ 48 ฟอร์ก หัวข้อ: blockchain, certora, certora prover, ethereum, formal verification, security tools อ่านเอกสาร ใบอนุญาต และรายการปัญหาปัจจุบันก่อนใช้งานซอฟต์แวร์
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
คลัง GitHub
- ดาว
- 337
- ดาวเพิ่ม · 7 วัน
- +0
- Fork
- 48
- ภาษาหลัก
- Kotlin
- ใบอนุญาตคลัง
- GPL-3.0
- ส่งโค้ดล่าสุด
- 14 ต.ค. 2026
ความนิยมมาจากดาว GitHub การเพิ่ม 7 วันต้องมีข้อมูลท้องถิ่นครบสัปดาห์ นี่ไม่ใช่อันดับทางการของ GitHub
แหล่งที่มาและความใหม่
GitHub ↗อัปเดตแหล่งข้อมูล · 15 ต.ค. 2026
ข้อมูลนำเข้ามีลิงก์แหล่งที่มา รายการช่วยค้นหา ไม่ใช่การรับรอง