Showing 3 of 3 projects
A programming language that automatically deletes functions that fail to meet their specified contracts during execution.
A cargo plugin that detects and reports usage of unsafe Rust code in crates and their dependencies.
A Swift microframework that provides hints to the compiler about unreachable code paths for optimization.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.