hibanaChoreography-Derived Runtime Enforcement for Rust 50 2Apache-2.0 last commit 2026-10-11 Website SourceAdd to my stackDiscuss Share:AboutChoreography-Derived Runtime Enforcement for RustLanguagesSMT75.2%Rust17.2%Lean7.5%Shell0.1%Contributors14FeaturesDiscussNo features listed.Comments ThemeGitHub LightGitHub Light High ContrastGitHub Light Protanopia & DeuteranopiaGitHub Light TritanopiaGitHub DarkGitHub Dark High ContrastGitHub Dark Protanopia & DeuteranopiaGitHub Dark TritanopiaGitHub Dark DimmedPreferred color schemeTransparent DarkNoBorder LightNoBorder DarkNoBorder GrayRStudio CobaltPurple DarkGruvboxGruvbox DarkGruvbox LightCatppuccin LatteCatppuccin FrappéCatppuccin MacchiatoCatppuccin MochaFroCustom (experimental)InstallCargo
