Verification
Showing 30 of 30 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.
An executable specification language with delightful tooling based on the Temporal Logic of Actions (TLA+)
A generic Go library for data validation and filtering, supporting maps, structs, and HTTP request data with built-in validators and custom rules.
A pluggable type-checking framework for Java that detects and prevents bugs through custom type qualifiers.
An open-source service for verifying Ethereum smart contract source code, supporting Solidity and Vyper.
A customizable Android library for implementing swipe-based captcha verification with puzzle piece dragging.
Pure-Rust implementation of Ed25519 digital signatures with a focus on safety and correctness.
An automated solver for proving the equivalence of SQL queries using formal verification.
A symbolic model checker for TLA+ and Quint specifications, translating them into SMT constraints for verification.
A command-line tool for generating runtime monitors for flight and robotics applications from formal specifications.
A Dart framework for describing and verifying hardware, enabling modern software practices in hardware development.
A FastAPI extension that simplifies integration with AWS Cognito, Auth0, and Firebase Authentication for token verification and user management.
A stateless model checking tool for Erlang programs that systematically tests for concurrency errors.
A test ROM for verifying CHIP-8 emulator implementations against key opcodes.
An automated reasoning hammer tool for Rocq that combines learning with external provers to automate proofs in dependent type theory.
A Coq framework for formal verification, property-based testing, and extraction of smart contracts.
A toolset for formal specification and generation of verifiable binary parsers, message generators, and protocol state machines.
A React Native UI component for pincode verification with customizable styling and optional Touch ID integration.
A curated list of awesome open-source hardware design tools with a focus on chip design.
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.