A react-native confirmation code field compatible with iOS, Android and Web
Fully customizable iOS UITextField for OTP/Secure code verification
A Python library for verifying code properties using natural language assertions.
CodeNotary JavaScript Client
eslint-ai is an cli tools that help us to lint and view suggestion from ai if we had a code error with eslint support.
Robust SystemVerilog Linter and Formatter to enhance code quality and ensure standards compliance. Perfect for hardware designers seeking efficient verification and readable code.
PKCE is used to generate PKCE code verifier and code challenge for OAuth and OIDC authorization code flow.
The Go! OS snapshot - by Greg Law of Undo Software
Check originality of GitHub repositories.
Tesis: Lógica de Programación con Dafny
Semantic Flow Language (SFL) is a framework that aligns human intent, AI reasoning, and executable logic. It ensures bidirectional synchronization between meaning and code, allowing for reliable, transparent, and verifiable AI-driven development across various environments.
Lógica de Programación con KeY y Dafny
Add a description, image, and links to the code-verification topic page so that developers can more easily learn about it.
To associate your repository with the code-verification topic, visit your repo's landing page and select "manage topics."