Search Results for "verification code" - Page 2
Sort By:
Showing 49 open source projects for "verification code"
View related business solutions-
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.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
1
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. ... -
2
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! ... -
3
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. -
4
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. -
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
5
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. -
6
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... -
7
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. -
8
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. -
9
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... -
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
10
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. -
11
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.
-
12
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.
-
13
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. ... -
14
Fiskalizacija u hrvatskoj. JAVA implementacija slanja i potpisivanja xml za CIS sustav porezne uprave.
-
15
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.
-
16
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.
-
17
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) -
18
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.
-
19
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.
-
20
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.
-
21
Protocol Specification Tool is a system for executable specification, verification and rapid prototyping of cryptographic protocols.
-
22
RUn (REBOL Unit) is a Unit Test Framework inspired from jUnit. It provides a way to develop TestCases and submit developped code in REBOL to their verification.
-
23
WebForm is a library to develop Web-based (database) applications. The core aim for this module is to minimize the amount of code duplication in projects and to maximize the security of your applications by providing strong data-verification algorithms.
-
24
Open eSign allows software developers and technical parties in a company to create secure, online (web-based) forms and documents that follow a business process flow and enable legally recognized electronic signatures using digital signature technology.
