oralang/ora

Công dụng

oralang/ora là kho mã GitHub công khai, chủ yếu viết bằng Zig. Bản ghi gần nhất được lưu cho biết có 29 sao và 1 bản fork. Chủ đề: ethereum, evm, formal verification, language, Hợp đồng thông minh. Đọc tài liệu, giấy phép và các issue hiện tại trước khi dùng phần mềm.

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

Kho GitHub

Sao

29

Sao tăng · 7 ngày

—

Bản fork

1

Ngôn ngữ chính

Zig

Giấy phép kho

GPL-3.0

Lần đẩy mã cuối

15 thg 10, 2026

Độ phổ biến theo sao GitHub. Tăng trưởng 7 ngày cần đủ một tuần ghi nhận. Đây không phải bảng xu hướng chính thức GitHub.

Nguồn & độ mới

Mục nhập dẫn nguồn. Có tên trong danh bạ không phải sự bảo chứng.