Verification
Showing 12 of 12 projects
A secrets scanning tool that discovers, classifies, validates, and analyzes leaked credentials across multiple sources.
A secrets scanning tool that discovers, classifies, validates, and analyzes leaked credentials across multiple sources.
An immutable database with built-in cryptographic proof and verification, supporting SQL, Key-Value, and Document models.
A Clojure library for testing distributed systems with fault injection and correctness verification.
A toolbox for model-based design, simulation, and verification of robotic systems.
A state machine based programming language for formally modeling and analyzing complex distributed systems.
A bit-precise model checker for verifying safety and correctness properties in Rust code.
An open-source analyzer, compiler, simulator, and experimental synthesizer for VHDL, supporting multiple language standards and backends.
The OWASP Mobile Application Security Verification Standard (MASVS) is the industry standard for mobile app security.
A curated wiki and collection of notes about software quality assurance, testing, and best practices.
A personal wiki containing notes and drafts about software quality assurance topics and practices.
A Go library for email verification without sending emails, featuring syntax validation, SMTP checks, disposable email detection, and domain typo suggestions.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.