informalsystems/atomkraft

O que faz

informalsystems/atomkraft é um repositório público GitHub, principalmente em Python. O último registro informa 85 estrelas e 9 forks. Temas: blockchain, cosmos, testing, tlaplus. Leia documentação, licença e issues atuais antes de usar.

Advanced fuzzing via Model Based Testing for Cosmos blockchains

Repositórios GitHub

Estrelas

85

Estrelas ganhas · 7 dias

—

Forks

9

Linguagem principal

Python

Licença do repositório

Apache-2.0

Último envio de código

6 de abr. de 2023

A popularidade usa estrelas. O crescimento semanal precisa de uma semana de registros locais. É nossa coleção, não a lista oficial de tendências do GitHub.

Fontes e atualização

Registros importados têm links para as fontes. Um registro ajuda a descobrir, não é uma recomendação.