Runtime assertion checking based on Gospel specifications
-
Updated
Oct 15, 2024 - OCaml
Runtime assertion checking based on Gospel specifications
An email parser to get 6 digit verification code
Auth Inbox 📬 is a self-hosted, open-source platform for receiving multiple email verification codes and real-time notifications, built using Cloudflare's free services. | Auth Inbox 📬 是一个自建的开源多邮箱验证码的接码平台,基于 Cloudflare 的免费服务。
A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]
Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Temporal Logic (TL)
An open source, turn-based strategy game with a high fantasy theme. It features both singleplayer and online/hotseat multiplayer combat.
SSMLVerifier will verify that a given input is valid SSML
An experimental toolkit of metamath based on mmj2
This repository contains the digital design and verification of the AMBA3 (Advanced Microcontroller Bus Architecture) and AMBA4 APB (Advanced Peripheral Bus) protocols.
Multi-rotor model identification and verification
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
Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Init (Main Makefile + Shell Init Script)
Simple jwt authentication with rails
this makes it simple to find your PC info
This repository contains the code for an AWS Lambda function that performs driver's license authenticity validation through image processing and verification.
Add a description, image, and links to the verfication topic page so that developers can more easily learn about it.
To associate your repository with the verfication topic, visit your repo's landing page and select "manage topics."