Search Results for "verification code" - Page 4
Sort By:
Showing 121 open source projects for "verification code"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
1
GoogleTranslate
GoogleTranslate
...In the new version, no matter which translation engine you use, it will first call the detection language interface of domestic Google Translate. In this case, the traffic of your proxy node is abnormal, which causes the request to be intercepted by Google, and you need to enter the verification code (you can also use + + to open the debugging optiontool commandto Icheck whether the request result is correct), so if this problem occurs, please replace your Proxy node or directly use domestic Google engine without proxy. Enter in the terminal sudo spctl –master-disableand press Enter to confirm. The password is the system power-on password. -
2
dvkit
Eclipse-based IDE for design verification tasks
DVKit provides an Eclipse-based integrated development environment (IDE) for common design-verification tasks, such as developing SystemVerilog, C++, TCL, Python, and shell code -
3
PyUltimateRobot
Controls any Robot in Python
Developed on Python to leverage state-of-the-art extensibility and easily integrated plugins Able to use low cost robots with the accuracy and dexterity of much more expensive robots, achieved in part by: a) Ability to drive movement by inexpensive DC gear head motors, including the inherent ability to specify movement by applied force rather than strict space/time control that steppers impose. b) Arms and linkages don't have to have super tight tolerances, because accuracy is... -
4
BlockSparse
Efficient GPU kernels for block-sparse matrix multiplication
The blocksparse repository provides efficient GPU kernels (TensorFlow custom ops) for block-sparse matrix multiplication and convolution operations. The idea is to exploit block-level sparsity — i.e. treat matrices or weight tensors as composed of blocks, many of which may be zero or unused — to save compute and memory when sparsity patterns are structured. This is particularly useful in models like Sparse Transformers, where attention matrices or intermediate layers may adopt block-sparse... -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
Lip Reading
Cross Audio-Visual Recognition using 3D Architectures
The input pipeline must be prepared by the users. This code is aimed to provide the implementation for Coupled 3D Convolutional Neural Networks for audio-visual matching. Lip-reading can be a specific application for this work. Audio-visual recognition (AVR) has been considered as a solution for speech recognition tasks when the audio is corrupted, as well as a visual recognition method used for speaker verification in multi-speaker scenarios. -
6
PHP Code to Send SMS to Mobile
This PHP Code Will Allows You to Send SMS to Mobile via Website
This PHP Code Will Allows You to Send SMS to Mobile via Website or Localhost. You Can Use This Script to Intigrate SMS Functionality to Your Mobile Application, Web Application, Verification Process, Etc. The Script is Very Simple to Use. -
7
...The STPA-generated safety requirements are automatically transformed into formal specification in LTL (linear Temporal Logic). The STPA Verifier plug-in fetches all LTL formulae from XSTPA and allows user to load the verification model of system (Promela or SMV Model). Furthermore, STPA verifier provides a configuration view of each model checker (SPIN and NuSMV) to enable user to configure the model checker with necessary parameters. It also allows users to extract the Promela model from C-Code of the software by using the ModeX tool. The tool shows the results of each LTL formula in the table with different values (syntax error, success, failed (counterexample)and incomplete).
-
8
Mobile Phone validation or verification. Detect country by phone number free PHP script. Phone validator by mobile number. You cant check mobile carrier, city or user ip, only country by phone number. Country code detector PHP by mobile phone number Check phone number location (Reverse Lookup) by International Area Codes. Do you want to know who is calling you? Find location by number who calls or texted you.
-
9
Crispy Checksum
Track your file and folder changes and detect corruptions
Crispy Checksum builds and maintains a checksum file (MD5 based, so far) for a specified folder and lets you verify the changes and detect slow data loss due to upcoming disk failures. Using its intuitive user interface, you can view changes in that folder and update the checksum file(s) continuously. You can obtain the source code at: https://crispy-cow.de/git/cchksum.git/ -
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
10
Souper
A superoptimizer for LLVM IR
Souper is a superoptimizer for LLVM IR designed to automatically discover missed optimization opportunities within LLVM’s mid-end optimizers. By leveraging SMT (Satisfiability Modulo Theories) solvers, Souper symbolically analyzes LLVM Intermediate Representation (IR) to synthesize equivalent, more efficient expressions. It identifies peephole optimizations—small instruction-level improvements—that LLVM’s optimizer may overlook, thereby improving compiled code quality. Souper can operate in... -
11
Mobile-ID USAT applet
The Remarc Mobile-ID USAT applet
The Remarc Mobile-ID USAT applet this is a JavaCard applet with USIM Application Toolkit menu support. Basic functions of the Remarc Mobile-ID SAT applet: • Authentication function; • Signing function; • Changing PIN1/PIN2; • Changing PUK; • Unblock PIN1/PIN2; • View information - in a USAT menu is present a menu item with information of PIN usage. -
12
G4LTL-ST
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv. -
13
Cress Tool Suite
Cress is a comprehensive toolset for graphical service/workflow design
Cress (Communication Representation Employing Systematic Specification) allows graphical description of a wide variety of services such as in data communications/telecommunications, but Cress is not limited to this. The approach allows services to be described graphically as (work)flows of activities. Cress diagrams are automatically translated into formal languages for rigorous analysis and verification, and are also automatically translated into implementation languages for deployment... -
14
Speakeasy
Two-factor authentication for Node.js
Speakeasy is a Node.js library for two-factor authentication, providing one-time passcode generation (HOTP/TOTP) with support for Google Authenticator and other compatible apps. -
15
webcamjs
HTML5 webcam library for capturing images from browser
WebcamJS is a lightweight JavaScript library that enables users to access and capture images from their webcam directly within the browser using HTML5 and Flash fallback. It supports taking snapshots and integrating webcam features into web applications with minimal code. Ideal for creating apps involving profile pictures, document capture, or verification tools. -
16
-
17
FSMDesigner is a C++ based implementation for a Finite State Machine (FSM) design tool with integrated Hardware Description Language (HDL) generation. FSMDesigner4 uses the Simple-Moore FSM model guaranteeing efficient fast complex control circuits.
-
18
This project hosts the reference implementation of a common base library(CBL) code for Universal Verification Methodology (UVM) as proposed by the Accellera Verification Intellectual Property Technical Subcommittee.
-
19
wechat-php-sdk
WeChat public platform php development kit, weixin developer SDK
The WeChat public platform is a platform for operators to provide information and services to WeChat users through the official account, and the public platform development interface is the basis for providing services. After the developer creates an official account on the public platform website and obtains interface permissions, he can read the interface document to help development. In order to identify users, each user generates a secure OpenID for each official account. If you need to... -
20
Iris Recognition System
Iris Recognition System Matlab source code
...Iris recognition is the most accurate personal identification biometric and it is this that accounts for its use in identity management in government departments requiring high security. Index Terms: Matlab, source, code, iris, recognition, one to one, one to many, verification, identification, matching. -
21
Speaker Recognition System
Speaker Recognition System - Matlab source code
Speaker recognition is the process of automatically recognizing who is speaking on the basis of individual information included in speech waves. This technique makes it possible to use the speaker's voice to verify their identity and control access to services such as voice dialing, banking by telephone, telephone shopping, database access services, information services, voice mail, security control for confidential information areas, and remote access to computers. Speaker identity is... -
22
Fingerprint Recognition System
Fingerprint Recognition System 5.3 - Matlab source code
The proposed filter-based algorithm uses a bank of Gabor filters to capture both local and global details in a fingerprint as a compact fixed length FingerCode. The fingerprint matching is based on the Euclidean distance between the two corresponding FingerCodes and hence is extremely fast. We are able to achieve a verification accuracy which is only marginally inferior to the best results of minutiae-based algorithms published in the open literature. Our system performs better than a... -
23
Speech Recognition System
Speech Recognition System - Matlab source code
Speech recognition technology is used more and more for telephone applications like travel booking and information, financial account information, customer service call routing, and directory assistance. Using constrained grammar recognition, such applications can achieve remarkably high accuracy. Research and development in speech recognition technology has continued to grow as the cost for implementing such voice-activated systems has dropped and the usefulness and efficacy of these... -
24
AntiLVL Reloaded
AntiLVL Android LVL Hack Remove License verification of Android
AntiLVL Reloaded. Major update to AntiLVL antilvl 1.4.0.How to Remove License verification of Android Apps AntiLVL's purpose is to subvert standard license protection methods such as the Android License Verification Library (LVL), Amazon Appstore DRM and Verizon DRM. It also disables many anti-cracking and anti-tampering protection methods. Because every implementation of the LVL is potentially (and often is) quite different, it's not possible to automate patching in every case. ... -
25
Fiskalizacija u hrvatskoj. JAVA implementacija slanja i potpisivanja xml za CIS sustav porezne uprave.
