tpt-pulse

Session-typed channels and compile-time reactive signals for Rust — statically verified protocol and dataflow correctness via tpt-telos.