Vonage Java SdkVonage Server SDK for Java. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.
Stars: ✭ 75 (-61.54%)
Immudbimmudb - world’s fastest immutable database, built on a zero trust model
Stars: ✭ 3,743 (+1819.49%)
email-checkerProvides email verification on the go.
Stars: ✭ 116 (-40.51%)
Rverify.js✅❎ A lightweight image rotation verification plugin.
Stars: ✭ 33 (-83.08%)
BrightidReference mobile app for BrightID
Stars: ✭ 101 (-48.21%)
Minasmsverification 短信验证:基于阿里云的 微信小程序 功能模块: 直接用 / mini-program + Node.js + Alibaba Cloud / Front & Back End
Stars: ✭ 94 (-51.79%)
Is GoogleVerify that a request is from Google crawlers using Google's DNS verification steps
Stars: ✭ 82 (-57.95%)
Flutter pinput🔥🚀 Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations
Stars: ✭ 157 (-19.49%)
PasetoPASETO (Platform-Agnostic SEcurity TOkens) for Node.js with no dependencies
Stars: ✭ 134 (-31.28%)
Server Qa ChecksA bunch of QA checks to run against one or more servers to make sure they are built to a specific standard.
Stars: ✭ 72 (-63.08%)
PiracycheckerAn Android library that prevents your app from being pirated / cracked using Google Play Licensing (LVL), APK signature protection and more. API 14+ required.
Stars: ✭ 1,359 (+596.92%)
Email Verifier✅ A Go library for email verification without sending any emails.
Stars: ✭ 162 (-16.92%)
Sea DsaA new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Stars: ✭ 90 (-53.85%)
CpacheckerCPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Stars: ✭ 138 (-29.23%)
Tulip ControlTemporal Logic Planning toolbox
Stars: ✭ 81 (-58.46%)
Antiddos System🛡️⚔️ Protect your web app from DDOS attack or the Dead Ping + CAPTCHA VERIFICATION in one line!
Stars: ✭ 173 (-11.28%)
SsriStandard Subresource Integrity library for Node.js
Stars: ✭ 69 (-64.62%)
SbvSMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Stars: ✭ 125 (-35.9%)
PerennialVerifying concurrent crash-safe systems
Stars: ✭ 57 (-70.77%)
CoqhammerCoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Stars: ✭ 157 (-19.49%)
Siepic ebeam pdkSiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout
Stars: ✭ 121 (-37.95%)
SimplenikeaccountcreatorA simple nike account creator I made using puppeteer and request in node js
Stars: ✭ 47 (-75.9%)
ErgoThe Language for Smart Legal Contracts
Stars: ✭ 108 (-44.62%)
LeanHomepage
Theorem Proving in Lean
FAQ
Stars: ✭ 2,006 (+928.72%)
Hacl StarHACL*, a formally verified cryptographic library written in F*
Stars: ✭ 1,360 (+597.44%)
LogicCMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.
Stars: ✭ 149 (-23.59%)
Laravel2stepLaravel 2-Step verification is a package to add 2-Step user authentication to any Laravel project easily. It is configurable and customizable. It uses notifications to send the user an email with a 4-digit verification code. Laravel 2-Step Authentication Verification for Laravel. Can be used in out the box with Laravel's authentication scaffolding or integrated into other projects.
Stars: ✭ 175 (-10.26%)
Qa Checks V4PowerShell scripts to ensure consistent and reliable build quality and configuration for your servers
Stars: ✭ 94 (-51.79%)
OsvvmOSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...
Stars: ✭ 140 (-28.21%)
Directorylister📂 Directory Lister is the easiest way to expose the contents of any web-accessible folder for browsing and sharing.
Stars: ✭ 1,261 (+546.67%)
Sv BenchmarksCollection of Verification Tasks
Stars: ✭ 158 (-18.97%)
CogentCogent Project
Stars: ✭ 137 (-29.74%)
Vonage Dotnet SdkNexmo REST API client for .NET, ASP.NET, ASP.NET MVC written in C#. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.
Stars: ✭ 76 (-61.03%)
HibpA composer package to verify if a password was previously used in a breach using Have I Been Pwned API.
Stars: ✭ 126 (-35.38%)
StrsyncA CLI tool for localization resource management on Xcode. Built with Google Translator.
Stars: ✭ 157 (-19.49%)
SignifyOpenBSD tool to signs and verify signatures on files. Portable version.
Stars: ✭ 122 (-37.44%)
FstarA Proof-oriented Programming Language
Stars: ✭ 2,171 (+1013.33%)
GiniA fast SAT solver
Stars: ✭ 112 (-42.56%)
Owasp MasvsThe Mobile Application Security Verification Standard (MASVS) is a standard for mobile app security.
Stars: ✭ 1,030 (+428.21%)
JoseUniversal "JSON Web Almost Everything" - JWA, JWS, JWE, JWT, JWK with no dependencies
Stars: ✭ 1,029 (+427.69%)
Id Validator中国身份证号验证、获取身份证号信息、升级 15 位身份证号为 18 位、伪造符合校验的身份证号。
Stars: ✭ 37 (-81.03%)
Vscode TlaplusTLA+ language support for Visual Studio Code
Stars: ✭ 152 (-22.05%)
EsverifyECMAScript verification with SMT solvers
Stars: ✭ 109 (-44.1%)
ScillaScilla - A Smart Contract Intermediate Level Language
Stars: ✭ 186 (-4.62%)