Introspecting...
Blockchain | IoT | Embedded | Crypto
Lead dev Cycles/Quartz;
prev: ibc-rs, basecoin-rs;
#rust crypto/protocol dev;
Stars
2
stars
written in TLA
Clear filter
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+