anoma/typhon

Công dụng

anoma/typhon là kho mã GitHub công khai, chủ yếu viết bằng TLA. Bản ghi gần nhất được lưu cho biết có 30 sao và 5 bản fork. Chủ đề: blockchain, consensus, distributed systems, heterogeneous paxos, paxos. Đọ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.

Formalization of Typhon protocol

Kho GitHub

Sao

30

Sao tăng · 7 ngày

+0

Bản fork

5

Ngôn ngữ chính

TLA

Giấy phép kho

GPL-3.0

Lần đẩy mã cuối

20 thg 12, 2024

Độ 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.