verfication
There are 15 repositories under verfication topic.
AI-secure/VeriGauge
A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]
ocaml-gospel/ortac
Runtime assertion checking based on Gospel specifications
game-ci/unity-verify-code
An email parser to get 6 digit verification code
AyaBaghdadi/swiftUI_verfication_code_one_no
This is a simple code by [ Swift UI ] for How to make verification code screen with write one value only in field & move to next field smoothly
Diefenbruch/QSDL-TL
Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Temporal Logic (TL)
Ispirett/rails_jwt_api
Simple jwt authentication with rails
janniksam/SSMLVerifier
SSMLVerifier will verify that a given input is valid SSML
hrkbrahmbhatt/AndroidEmailVerify
Email Verification using Firebase Android
mountain/mmtk
An experimental toolkit of metamath based on mmj2
abdelrahman-t/multirotor-model-identification
Multi-rotor model identification and verification
Diefenbruch/QSDL-INIT
Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Init (Main Makefile + Shell Init Script)
rclevenger-hm/driver_license_authenticity_lambda
This repository contains the code for an AWS Lambda function that performs driver's license authenticity validation through image processing and verification.
wasilahinsan/wesnoth
An open source, turn-based strategy game with a high fantasy theme. It features both singleplayer and online/hotseat multiplayer combat.
Kelopy/verification-bot
Discord Bot with a Verification System
mobtexting/mobtexting-android
MOBtexting android sdk to Send SMS