informalsystems/atomkraft

Công dụng

informalsystems/atomkraft là kho mã GitHub công khai, chủ yếu viết bằng Python. Bản ghi gần nhất được lưu cho biết có 85 sao và 9 bản fork. Chủ đề: blockchain, cosmos, testing, tlaplus. Đọ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.

Advanced fuzzing via Model Based Testing for Cosmos blockchains

Kho GitHub

Sao

85

Sao tăng · 7 ngày

—

Bản fork

9

Ngôn ngữ chính

Python

Giấy phép kho

Apache-2.0

Lần đẩy mã cuối

6 thg 4, 2023

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