wyzer

What people use it for

A compiled language based on resource ownership rules applied to memory, message passing, and hardware interrupts. It derives and checks network protocols from function types to catch deadlocks and dropped messages before execution.

Github Awesome