Build a server

How to implement a conformant Distributed Async Await server — abstract machine, state model, storage strategies, and conformance testing.

Build a server

This track is coming. It will cover how to implement a conformant Distributed Async Await server.

Start with the Specification to understand the protocol, and resonatehq/resonate-specification for the normative Lean 4 abstract machine.

Edit this page on GitHub