Wyzer is a statically-typed, general-purpose, resource-oriented choreographic programming language that compiles to native code via LLVM, using a Perceus-based memory model for automatic memory management alongside its choreography features.
Website: https://wyzer-lang.vercel.app