react-native-sms-user-consentReact Native wrapper for Android's SMS User Consent API, ready to use in React Native apps with minimum effort.
Stars: ✭ 45 (-71.34%)
DPOTPViewCustomisable OTP view and Passcode view
Stars: ✭ 52 (-66.88%)
laravel-otp-loginAdds a customizable, translatable, configurable OTP verification step to Laravel Auth. You can add your own SMS provider too.
Stars: ✭ 16 (-89.81%)
ConcuerrorConcuerror is a stateless model checking tool for Erlang programs.
Stars: ✭ 277 (+76.43%)
Tulip ControlTemporal Logic Planning toolbox
Stars: ✭ 81 (-48.41%)
GiniA fast SAT solver
Stars: ✭ 112 (-28.66%)
Ticker ElixirElixir OTP Stock Quotes App (IEX Group) | Current Branch: elixir_1.8_iex
Stars: ✭ 71 (-54.78%)
CpacheckerCPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Stars: ✭ 138 (-12.1%)
TlaplusTLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Stars: ✭ 1,618 (+930.57%)
GortasGortas is an API based authentication service, allows adding authentication to your site or service with minimum efforts.
Stars: ✭ 48 (-69.43%)
Sea DsaA new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Stars: ✭ 90 (-42.68%)
Siepic ebeam pdkSiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout
Stars: ✭ 121 (-22.93%)
Totp CliA cli-based pass-backed TOTP app
Stars: ✭ 76 (-51.59%)
AegisA free, secure and open source app for Android to manage your 2-step verification tokens.
Stars: ✭ 2,692 (+1614.65%)
SsriStandard Subresource Integrity library for Node.js
Stars: ✭ 69 (-56.05%)
EsverifyECMAScript verification with SMT solvers
Stars: ✭ 109 (-30.57%)
LagerA logging framework for Erlang/OTP
Stars: ✭ 1,060 (+575.16%)
Privacyidea🔐 multi factor authentication system (2FA, MFA, OTP Server)
Stars: ✭ 1,027 (+554.14%)
ElixirbooksList of Elixir books
Stars: ✭ 1,021 (+550.32%)
Whatsup**Deprecated** Real time chat app written in Swift 4 using Firebase and OTP Authentication
Stars: ✭ 39 (-75.16%)
Yubikey Manager QtCross-platform application for configuring any YubiKey over all USB interfaces.
Stars: ✭ 137 (-12.74%)
Freeradius ServerFreeRADIUS - A multi-protocol policy server.
Stars: ✭ 1,379 (+778.34%)
AuthenticatorAuthenticator generates 2-Step Verification codes in your browser.
Stars: ✭ 979 (+523.57%)
ExnnAn Elixir Evolutive Neural Network framework à la G.Sher
Stars: ✭ 93 (-40.76%)
PhpotpPhp Implementation of the OTP algorythm
Stars: ✭ 125 (-20.38%)
MementoCollect saved items from different sources around the web
Stars: ✭ 89 (-43.31%)
Gen rmqElixir AMQP consumer and publisher behaviours
Stars: ✭ 146 (-7.01%)
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%)
Exrm debCreate a deb for your elixir release with ease
Stars: ✭ 75 (-52.23%)
Immudbimmudb - world’s fastest immutable database, built on a zero trust model
Stars: ✭ 3,743 (+2284.08%)
JsotpJavascript One-Time Password module.
Stars: ✭ 71 (-54.78%)
CloakA Command Line OTP Authenticator application.
Stars: ✭ 112 (-28.66%)
MnesiacMnesia autoclustering made easy!
Stars: ✭ 62 (-60.51%)
OsvvmOSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...
Stars: ✭ 140 (-10.83%)
PerennialVerifying concurrent crash-safe systems
Stars: ✭ 57 (-63.69%)
Vscode TlaplusTLA+ language support for Visual Studio Code
Stars: ✭ 152 (-3.18%)
ErgoThe Language for Smart Legal Contracts
Stars: ✭ 108 (-31.21%)
Owasp MasvsThe Mobile Application Security Verification Standard (MASVS) is a standard for mobile app security.
Stars: ✭ 1,030 (+556.05%)
CogentCogent Project
Stars: ✭ 137 (-12.74%)
Login otpOTP authentication for OpenBSD implementing RFC 6238 and RFC 4226.
Stars: ✭ 43 (-72.61%)
LogicCMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.
Stars: ✭ 149 (-5.1%)
Rverify.js✅❎ A lightweight image rotation verification plugin.
Stars: ✭ 33 (-78.98%)
BrightidReference mobile app for BrightID
Stars: ✭ 101 (-35.67%)
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%)
Hacl StarHACL*, a formally verified cryptographic library written in F*
Stars: ✭ 1,360 (+766.24%)
Trumail✉️ ✅ A Fast and Free Email Verification API written in Go
Stars: ✭ 937 (+496.82%)
Dolphin**pigame** is a game server template for Erlang.
Stars: ✭ 23 (-85.35%)