Search Results for "verification code" - Page 2
Sort By:
Showing 55 open source projects for "verification code"
View related business solutions-
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.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
1
nef
Steroids for Xcode Playgrounds
...Integrates Playgrounds with Carbon to export code snippets, and Jekyll to create a microsite. -
2
SwiftyStoreKit
Lightweight in app purchases Swift framework for iOS
SwiftyStoreKit is a lightweight In App Purchases framework for iOS, tvOS, watchOS, macOS, and Mac Catalyst. SwiftyStoreKit makes it easy for an incredible number of developers to seemlessly integrate in-App Purchases. This project, however, is now community-led. We need help building out features and writing tests. If you've shipped an app in the last five years, you're probably good to go. Some features (like discounts) are only available on new OS versions. There are a number of ways to... -
3
Bottender
A framework for building conversational user interfaces
...Design actions for each event and state in your application and Bottender will run accordingly. Bottender lets you create apps on every channel and never compromise on your users’ experience. This approach makes your code more predictable and easier to debug. You can apply progressive enhancement or graceful degradation strategy on your building blocks. There are thousands of bots powered by Bottender. It has been optimized for real-world use cases, automatic batching requests and dozens of other compelling features. With Bottender, you only need a few configurations to make your bot work with channels, automatic server listening, webhook setup, signature verification and so much more. ... -
4
go-gin-api
The API framework based on Gin's modular design
The API framework based on Gin's modular design encapsulates common functions, is easy to use, and is dedicated to rapid business development. For example, it supports cors cross-domain, jwt signature verification, zap log collection, panic exception capture, trace link tracking, prometheus monitoring indicators, swagger document generation, viper configuration file parsing, gorm database components, gormgen code generation tools, graphql query language, errno uniformly defines error codes, the use of gRPC, cron scheduled tasks, etc. go-gin-api It is an API framework based on Gin 's modular design. ... -
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.
-
5
gas-github
sync gas code to github
Manage your gas code with GitHub/GitHub enterprise/bitbucket/GitLab. Manage your Google Apps Script code with your favorite SCM (Github/Github enterprise/bitbucket). The new version requires Google OAuth to call Apps Script API, before the OAuth app be verified by Google, it only allow to grant 100 users' permission, if you encounter some errors said can not grant permission to the app, please wait for the verification process completed, sorry for the inconvenience! ... -
6
PulledPork
Pulled Pork for Snort and Suricata rule management (from Google code)
PulledPork is a Perl-based script that automates the management of Snort and Suricata IDS/IPS rulesets. It streamlines the process of downloading, parsing, and updating rules, ensuring that intrusion detection systems remain current and effective. -
7
RAP2-DELOS
Open source interface management tool
...Perform mocha test cases and js code specification checks. Start server monitoring in development mode and automatically restart when code changes occur. -
8
The ATS PL System
Unleashing the potentials of types and templates
The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof. -
9
captcha_break
Identification codes
...It supports image verification codes and voice verification codes. We use its function of generating image verification codes. First, we set our verification code format to numbers and capital letters, and generate a string of verification codes. It is well known that tensorflow occupies all video memory by default, which is not conducive to us conducting multiple experiments at the same time, so we can use the following code when tensorflow uses the video memory it needs instead of directly occupying all video memory. -
Catch Bugs Before Your Customers DoMove from alert to fix before users notice. AppSignal monitors errors, performance bottlenecks, host health, and uptime—all from one dashboard. Instant notifications on deployments, anomaly triggers for memory spikes or error surges, and seamless log management. Works out of the box with Rails, Django, Express, Phoenix, Next.js, and dozens more. Starts at $23/month with no hidden fees.
-
10
php login with email validation
Complete PHP Login with Email Validation System
This is the only complete php login system developed in core php. The system has many features that enable you to learn php Object Oriented Programming (OOP). This program is also very useful for those that want to learn how to create a complete login system in php. INSTALLATION AND SETUP PROCEDURE: https://www.youtube.com/channel/UCBemL4ht7jmZY9tJ8NGkS-A?sub_confirmation=1 subscribe to our youtube channels for more source codes. More source codes: Complete Login System with Email... -
11
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. -
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
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. -
15
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.
-
16
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.
-
17
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. ... -
18
Fiskalizacija u hrvatskoj. JAVA implementacija slanja i potpisivanja xml za CIS sustav porezne uprave.
-
19
N-Tier Windows Forms Framework
N-Tier Windows Forms entity productivity framework
Updated to work with Visual Studio 2012. The N-Tier Framework for Windows Forms is designed to put the developer in control with tools & APIs for the rapid development of database applications in c#. NTier is designed to leverage developers' skills and familiarity with Visual Studio and Windows Forms to quickly build large business applications. NTier provides tools, frameworks, designers, extender providers and helpers to make database application development easy without replacing... -
20
This is a collection of tools and a code library to assist engineers who are developing SystemVerilog based verification environments. Components include utility libraries, scoreboard and shutdown manager implementation, register tool, etc.
-
21
SourceDoc is a powerful system for automatic creation, extraction, and verification of embedded documentation. Designed for C code, it features both a C parser and a preprocessor. The default output format is HTML, but other formats are possible to plug in using a public Java interface.
-
22
XJML
XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71) -
23
C4J is a simple, powerful and non-intrusive tool that makes it easy to add contract verification of instances and methods of any Java class or interface, with full inheritance support. C4J brings Design By Contract to Java.
-
24
The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.
-
25
Decompyle is a python disassembler and decompiler which converts Python byte-code (.pyc or .pyo) back into equivalent Python source. Verification of the produced code (re-compiled) is avaliable as well.
