trust-lang. TrustLang is a programming language that ensures trust and safety software development while maintaining compatibility with C++ code.
stack-check. C++