Tool Open source
Wyzer is an open-source, statically typed, compiled, resource-oriented programming language with integrated distributed safety. Its choreographic programming model lets developers describe a distributed system as one unified program, which the compiler projects into independent participant binaries while checking communication protocols for issues such as deadlocks and dropped messages. Wyzer uses the Perceus memory model, based on precise reference counting and single-owner values rather than a garbage collector or borrow checker. Ownership transfers, including network transfers between roles, are linear moves that consume the value at its source and produce compile-time errors if it is used again. The language is designed for concise syntax, deadlock-free communication, and C ABI compatibility.
2 uses taken from transcripts — each links to the moment in the video.
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.
An open-source statically typed, compiled programming language built around a single ownership rule for memory, threads, and networking. It uses choreographic programming to generate and check participant code for distributed interactions.
2 in the library.