PinviewA pinview library for android. ✨
Stars: ✭ 650 (+314.01%)
PhpotpPhp Implementation of the OTP algorythm
Stars: ✭ 125 (-20.38%)
HedwigAn Adapter-based Bot Framework for Elixir Applications
Stars: ✭ 609 (+287.9%)
MementoCollect saved items from different sources around the web
Stars: ✭ 89 (-43.31%)
Pact brokerEnables your consumer driven contracts workflow
Stars: ✭ 540 (+243.95%)
Gen rmqElixir AMQP consumer and publisher behaviours
Stars: ✭ 146 (-7.01%)
CosetteCosette is an automated SQL solver.
Stars: ✭ 533 (+239.49%)
Vonage Java SdkVonage Server SDK for Java. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.
Stars: ✭ 75 (-52.23%)
ThegorgeousotpPhone number authentication + OTP login page built with @flutter 😍
Stars: ✭ 116 (-26.11%)
VunitVUnit is a unit testing framework for VHDL/SystemVerilog
Stars: ✭ 438 (+178.98%)
Exrm debCreate a deb for your elixir release with ease
Stars: ✭ 75 (-52.23%)
Android Otpview PinviewA custom view to enter otp of different sizes used usually in cases of authentication.
Stars: ✭ 422 (+168.79%)
Immudbimmudb - world’s fastest immutable database, built on a zero trust model
Stars: ✭ 3,743 (+2284.08%)
Mockkmocking library for Kotlin
Stars: ✭ 4,214 (+2584.08%)
JsotpJavascript One-Time Password module.
Stars: ✭ 71 (-54.78%)
Ergoa Framework for creating mesh networks using technologies and design patterns of Erlang/OTP in Golang
Stars: ✭ 376 (+139.49%)
CloakA Command Line OTP Authenticator application.
Stars: ✭ 112 (-28.66%)
CertigradBug-free machine learning on stochastic computation graphs
Stars: ✭ 366 (+133.12%)
MnesiacMnesia autoclustering made easy!
Stars: ✭ 62 (-60.51%)
PysmtpySMT: A library for SMT formulae manipulation and solving
Stars: ✭ 352 (+124.2%)
OsvvmOSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...
Stars: ✭ 140 (-10.83%)
StpSimple Theorem Prover, an efficient SMT solver for bitvectors
Stars: ✭ 341 (+117.2%)
PerennialVerifying concurrent crash-safe systems
Stars: ✭ 57 (-63.69%)
SmackSMACK Software Verifier and Verification Toolchain
Stars: ✭ 305 (+94.27%)
GlewlwydSingle Sign On server, OAuth2, Openid Connect, multiple factor authentication with, HOTP/TOTP, FIDO2, TLS Certificates, etc. extensible via plugins
Stars: ✭ 292 (+85.99%)
Vscode TlaplusTLA+ language support for Visual Studio Code
Stars: ✭ 152 (-3.18%)
KremlinKreMLin is a tool for extracting low-level F* programs to readable C code
Stars: ✭ 285 (+81.53%)
ErgoThe Language for Smart Legal Contracts
Stars: ✭ 108 (-31.21%)
Tool listsLinks to tools by subject
Stars: ✭ 270 (+71.97%)
Owasp MasvsThe Mobile Application Security Verification Standard (MASVS) is a standard for mobile app security.
Stars: ✭ 1,030 (+556.05%)
VerifierPackage verifier provides simple defensive programing primitives.
Stars: ✭ 264 (+68.15%)
CogentCogent Project
Stars: ✭ 137 (-12.74%)
2factor auth2-Faktor-Authentifizierung mittels one-time-password (OTP)
Stars: ✭ 20 (-87.26%)
Login otpOTP authentication for OpenBSD implementing RFC 6238 and RFC 4226.
Stars: ✭ 43 (-72.61%)
verifyLaravel package to verify users with a one-time password (OTP)
Stars: ✭ 25 (-84.08%)
awesome-dvAwesome ASIC design verification
Stars: ✭ 76 (-51.59%)
go-mtreeFile systems verification utility and library, in likeness of mtree(8)
Stars: ✭ 55 (-64.97%)
LogicCMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.
Stars: ✭ 149 (-5.1%)
OneTimeiOS, watchOS, & macOS One-Time Password client
Stars: ✭ 14 (-91.08%)
Rverify.js✅❎ A lightweight image rotation verification plugin.
Stars: ✭ 33 (-78.98%)
checkerGolang parameter validation, which can replace go-playground/validator, includes ncluding Cross Field, Map, Slice and Array diving, provides readable,flexible, configurable validation.
Stars: ✭ 62 (-60.51%)
BrightidReference mobile app for BrightID
Stars: ✭ 101 (-35.67%)
silverDefinition of the Viper intermediate verification language.
Stars: ✭ 28 (-82.17%)
Otphp🔐 A PHP library for generating one time passwords according to RFC 4226 (HOTP) and the RFC 6238 (TOTP)
Stars: ✭ 857 (+445.86%)
OtpauthOne Time Password (HOTP/TOTP) library for Node.js, Deno and browsers.
Stars: ✭ 135 (-14.01%)
PassCodeTextA customised EditText view serving the purpose of taking numeric One Time Password from a user. With stunning animation, and high customizability.
Stars: ✭ 105 (-33.12%)
Otplib🔑 One Time Password (OTP) / 2FA for Node.js and Browser - Supports HOTP, TOTP and Google Authenticator
Stars: ✭ 916 (+483.44%)
Rn Countdown⏰ 纯 JavaScript 实现的针对 React Native App 的倒计时组件。
Stars: ✭ 19 (-87.9%)
Dolphin**pigame** is a game server template for Erlang.
Stars: ✭ 23 (-85.35%)
CoqhammerCoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Stars: ✭ 157 (+0%)