Inferara/inference

Công dụng

Inferara/inference là kho mã GitHub công khai, chủ yếu viết bằng Rust. Bản ghi gần nhất được lưu cho biết có 25 sao và 17 bản fork. Chủ đề: compiler, formal specification, formal verification, programming language, bảo mật, 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.

🌀 Inference programming language

Kho GitHub

Sao

25

Sao tăng · 7 ngày

—

Bản fork

17

Ngôn ngữ chính

Rust

Giấy phép kho

GPL-3.0

Lần đẩy mã cuối

10 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.