Showing 55 open source projects for "verification code"

View related business solutions
  • Auth0 B2B Essentials: SSO, MFA, and RBAC Built In Icon
    Auth0 B2B Essentials: SSO, MFA, and RBAC Built In

    Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.

    Auth0'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.
    Sign Up Free
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • 1
    nef

    nef

    Steroids for Xcode Playgrounds

    ...Integrates Playgrounds with Carbon to export code snippets, and Jekyll to create a microsite.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    SwiftyStoreKit

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Bottender

    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. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 4
    go-gin-api

    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. ...
    Downloads: 2 This Week
    Last Update:
    See Project
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 5
    gas-github

    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! ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    PulledPork

    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.​
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    RAP2-DELOS

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 9
    captcha_break

    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.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Catch Bugs Before Your Customers Do Icon
    Catch Bugs Before Your Customers Do

    Real-time error alerts, performance insights, and anomaly detection across your full stack. Free 30-day trial.

    Move 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.
    Try AppSignal Free
  • 10
    php login with  email validation

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    G4LTL-ST

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Cress Tool Suite

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    webcamjs

    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.
    Downloads: 13 This Week
    Last Update:
    See Project
  • 15
    FSMDesigner
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    AntiLVL Reloaded

    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. ...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 18
    Fiskalizacija u hrvatskoj. JAVA implementacija slanja i potpisivanja xml za CIS sustav porezne uprave.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    N-Tier Windows Forms Framework

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 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.
    Leader badge
    Downloads: 6 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB