sophatvathana/zigsafe
Optional static ownership checker for Zig. Annotate pointers with ownership contracts and get Rust-style borrow-check diagnostics at zero runtime cost.
正在读取项目信息…
Optional static ownership checker for Zig. Annotate pointers with ownership contracts and get Rust-style borrow-check diagnostics at zero runtime cost.