code-verification
Here are 11 public repositories matching this topic...
Language:All
Sort:Most stars
A react-native confirmation code field compatible with iOS, Android and Web
- Updated
Feb 19, 2025 - TypeScript
Fully customizable iOS UITextField for OTP/Secure code verification
- Updated
Sep 24, 2020 - Objective-C
A Python library for verifying code properties using natural language assertions.
- Updated
Mar 1, 2025 - Python
CodeNotary JavaScript Client
- Updated
Jul 16, 2022 - JavaScript
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.
- Updated
Aug 9, 2023 - TypeScript
Robust SystemVerilog Linter and Formatter to enhance code quality and ensure standards compliance. Perfect for hardware designers seeking efficient verification and readable code.
- Updated
Apr 12, 2024 - JavaScript
PKCE is used to generate PKCE code verifier and code challenge for OAuth and OIDC authorization code flow.
- Updated
Oct 4, 2021 - Go
The Go! OS snapshot - by Greg Law of Undo Software
- Updated
Jun 3, 2015 - Assembly
Check originality of GitHub repositories.
- Updated
Mar 23, 2025 - TypeScript
Tesis: Lógica de Programación con Dafny
- Updated
Sep 6, 2021 - Dafny
Lógica de Programación con KeY y Dafny
- Updated
Aug 14, 2023 - Java
Improve this page
Add a description, image, and links to thecode-verification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thecode-verification topic, visit your repo's landing page and select "manage topics."