0 repos
Mechanisms and language features designed to prevent common programming errors through strict type checking and memory safety.
Distinguishing note: Focuses on language-level safety guarantees rather than general testing or security auditing.
No awesome GitHub repositories for programming languages & runtimes · Type Safety Systems yet. Submit a GitHub URL or browse the filters below.
No repositories listed yet — be the first to submit one.