Adds Ada-level runtime safety features to V programs, including range-checked integers, strong types, bounded lists, and hardware attack mitigations.
Runtime safety utilities inspired by Ada for the V programming language
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.