เครื่องมือนักพัฒนาและโอเพนซอร์ส✦โปรไฟล์บรรณาธิการ
btcd
A Bitcoin full-node implementation written in Go.
☆ 6,711 +0 / 7dดูรายละเอียด
เครื่องมือนักพัฒนาและโอเพนซอร์ส
AU-COBRA/ConCert
คลังโค้ด GitHub สาธารณะ โดยใช้ Rocq Prover เป็นภาษาหลัก
ใช้งานอะไร
AU-COBRA/ConCert เป็นคลังโค้ด GitHub สาธารณะ โดยใช้ Rocq Prover เป็นภาษาหลัก ภาพรวมล่าสุดที่บันทึกไว้ระบุว่ามี 129 ดาวและ 22 ฟอร์ก หัวข้อ: blockchain, coq, สมาร์ตคอนแทรกต์, verification อ่านเอกสาร ใบอนุญาต และรายการปัญหาปัจจุบันก่อนใช้งานซอฟต์แวร์
A framework for smart contract verification in Coq
คลัง GitHub
- ดาว
- 129
- ดาวเพิ่ม · 7 วัน
- +0
- Fork
- 22
- ภาษาหลัก
- Rocq Prover
- ใบอนุญาตคลัง
- MIT
- ส่งโค้ดล่าสุด
- 25 ส.ค. 2026
ความนิยมมาจากดาว GitHub การเพิ่ม 7 วันต้องมีข้อมูลท้องถิ่นครบสัปดาห์ นี่ไม่ใช่อันดับทางการของ GitHub
แหล่งที่มาและความใหม่
GitHub ↗อัปเดตแหล่งข้อมูล · 15 ต.ค. 2026
ข้อมูลนำเข้ามีลิงก์แหล่งที่มา รายการช่วยค้นหา ไม่ใช่การรับรอง