We've verified that the organization informalsystems controls the domain:
Tendermint in Rust!
Rust 218 66
IBC Relayer (Hermes) and Modules in Rust
Rust 123 49
APALACHE: symbolic model checker for TLA+
Scala 230 11
Verification-Driven Development
17
A command line-based parameterized contracting tool
Go 37 3
TLA 5 2
PROST! a Protocol Buffers implementation for the Rust Language
An example ABCI application making use of tendermint-rs and ibc-rs
Preliminary material for a workshop on Apalache and TLA+
Building generic merkle proof format for IBC
Fork of https://gitlab.com/leonhard-llc/safe-regex-rs
Nix Integration with Cosmos Projects
Loading…
