informalsystems/atomkraft

A cosa serve

informalsystems/atomkraft è un repository GitHub pubblico, principalmente in Python. L'ultimo rilevamento indica 85 stelle e 9 fork. Temi: blockchain, cosmos, testing, tlaplus. Leggi documentazione, licenza e issue attuali prima dell'uso.

Advanced fuzzing via Model Based Testing for Cosmos blockchains

Repository GitHub

Stelle

85

Stelle ottenute · 7 giorni

—

Fork

9

Linguaggio principale

Python

Licenza del repository

Apache-2.0

Ultimo invio di codice

6 apr 2023

La popolarità usa le stelle. La crescita settimanale richiede una settimana di rilevazioni locali. È la nostra raccolta, non la classifica ufficiale GitHub.

Fonti e aggiornamenti

Le schede importate citano le fonti. Una scheda aiuta a scoprire, non è una raccomandazione.