oralang/ora

ใช้งานอะไร

oralang/ora เป็นคลังโค้ด GitHub สาธารณะ โดยใช้ Zig เป็นภาษาหลัก ภาพรวมล่าสุดที่บันทึกไว้ระบุว่ามี 29 ดาวและ 1 ฟอร์ก หัวข้อ: ethereum, evm, formal verification, language, สมาร์ตคอนแทรกต์ อ่านเอกสาร ใบอนุญาต และรายการปัญหาปัจจุบันก่อนใช้งานซอฟต์แวร์

Smart contract language with formal verification. Built with Zig for safety and performance

คลัง GitHub

ดาว

29

ดาวเพิ่ม · 7 วัน

—

Fork

1

ภาษาหลัก

Zig

ใบอนุญาตคลัง

GPL-3.0

ส่งโค้ดล่าสุด

15 ต.ค. 2026

ความนิยมมาจากดาว GitHub การเพิ่ม 7 วันต้องมีข้อมูลท้องถิ่นครบสัปดาห์ นี่ไม่ใช่อันดับทางการของ GitHub

แหล่งที่มาและความใหม่

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