informalsystems/atomkraft
Advanced fuzzing via Model Based Testing for Cosmos blockchains
PythonApache-2.0
Watchers
- 0xZakkAustin, TX
- abienkowski
- andrey-kuprianov@informalsystems
- BtruaxInformal Systems
- davekaj@ekonomia-tech
- dbkbali
- dpdanpittman@Qwoyn
- drkostasUniversity of Tennessee, Knoxville
- eemailme
- hvanz@informalsystems
- ivan-gavran
- jtrembackBay Area
- konnovIndependent
- lilamilaNew York
- nddelucaPhoenix, AZ
- OakenKnight@informalsystems
- otrackTélécom SudParis
- rnbguy@informalsystems
- romac@informalsystems
- shonfeder@tarides
- soareschen@maybevoid
- stanlysamuelIndian Institute of Science
- tesnimab