Giters
Andrey Kuprianov (andrey-kuprianov)

andrey-kuprianov

Geek Repo

9

followers

0

following

14

stars

Company:@informalsystems

Location:Vienna

Home Page:https://informal.systems/

Github PK Tool:Github PK Tool

Organizations
informalsystems

Andrey Kuprianov's repositories

atomkraft

Advanced fuzzing via Model Based Testing for Cosmos blockchains

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

modelator

Model-based testing tool

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0