An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: verfication

game-ci/unity-verify-code

An email parser to get 6 digit verification code

Language: JavaScript - Size: 54.7 KB - Last synced at: 1 day ago - Pushed at: 4 months ago - Stars: 15 - Forks: 11

ocaml-gospel/ortac

Runtime assertion checking based on Gospel specifications

Language: OCaml - Size: 2.04 MB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 45 - Forks: 11

ayeshakashif-ak/CY321-Semester-Project

Language: Python - Size: 5.75 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 1

TooonyChen/AuthInbox

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 的免费服务。

Language: TypeScript - Size: 82 KB - Last synced at: 19 days ago - Pushed at: 4 months ago - Stars: 112 - Forks: 35

VoidNinjaX/PC-info-checker

this makes it simple to find your PC info

Language: Python - Size: 3.91 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

Abdelrahman1810/RTL-Verification-of-AMBA3_4-APB-Protocol

This repository contains the digital design and verification of the AMBA3 (Advanced Microcontroller Bus Architecture) and AMBA4 APB (Advanced Peripheral Bus) protocols.

Language: SystemVerilog - Size: 2.98 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

AI-secure/VeriGauge

A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]

Language: C - Size: 16.2 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 85 - Forks: 6

suchsoak/HD-Verificadores.Bat

Verificadores Para Profissionais De Ti. Um simples script para verificar arquivos do hd ou ssd.

Language: Batchfile - Size: 46.9 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

mountain/mmtk

An experimental toolkit of metamath based on mmj2

Language: Clojure - Size: 918 KB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

janniksam/SSMLVerifier

SSMLVerifier will verify that a given input is valid SSML

Language: C# - Size: 70.3 KB - Last synced at: 1 day ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0

JReverse/Text-Now-Api 📦

The unofficial wrapper for Text Now based of the IOS 21.8.0

Language: C# - Size: 25.4 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 2

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

Language: Swift - Size: 41 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

hrkbrahmbhatt/AndroidEmailVerify

Email Verification using Firebase Android

Language: Java - Size: 16.1 MB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

Ispirett/rails_jwt_api

Simple jwt authentication with rails

Language: Ruby - Size: 73.2 KB - Last synced at: 13 days ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

mobtexting/mobtexting-android

MOBtexting android sdk to Send SMS

Language: Java - Size: 182 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

abdelrahman-t/multirotor-model-identification

Multi-rotor model identification and verification

Language: Jupyter Notebook - Size: 29.1 MB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0