informalsystems/atomkraft

Что делает

informalsystems/atomkraft — публичный репозиторий GitHub, основной язык — Python. Последняя запись сообщает 85 звёзд и 9 форков. Темы: blockchain, cosmos, testing, tlaplus. Перед использованием прочитай документацию, лицензию и текущие issues.

Advanced fuzzing via Model Based Testing for Cosmos blockchains

Репозитории GitHub

Звёзды

85

Прирост звёзд · 7 дней

—

Форки

9

Основной язык

Python

Лицензия репозитория

Apache-2.0

Последняя отправка кода

6 апр. 2023 г.

Популярность основана на звёздах. Рост за неделю появится после недели локальных снимков. Это наша подборка, а не официальный рейтинг GitHub.

Источники и актуальность

Импортированные записи ссылаются на источники. Это помощь в поиске, а не рекомендация.