Wyzer is a statically typed, resource-oriented programming language designed to prevent distributed deadlocks through choreographic programming and the Perceus memory model.

Wyzer is a new statically typed, compiled programming language created to address safety gaps in distributed systems that Rust does not resolve, such as distributed deadlocks, protocol mismatches, and cross-service correctness issues. By integrating choreographic programming with linear/affine types and Perceus reference counting, Wyzer aims to provide compile-time guarantees for distributed interactions with simpler LSP integration than traditional lifetime-based borrow checkers.