BCDevOps/backup-container

A simple container for a simple backup strategy.

Language: Shell - Size: 634 KB - Last synced: 12 days ago - Pushed: 12 days ago - Stars: 34 - Forks: 56

StanfordASL/neural-network-lyapunov

Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.

Language: Python - Size: 112 MB - Last synced: 2 days ago - Pushed: 5 months ago - Stars: 134 - Forks: 29

verifykit/verifykit-sdk-ios

VerifyKit SDK for iOS

Language: Objective-C - Size: 83.3 MB - Last synced: 13 days ago - Pushed: 14 days ago - Stars: 10 - Forks: 3

jobstdavid/eppverification

Verification Tools for the Statistical Postprocessing of Ensemble Forecasts

Language: R - Size: 2.76 MB - Last synced: 13 days ago - Pushed: 13 days ago - Stars: 3 - Forks: 0

emagnusandersson/buvt

Back Up and Verification Tool

Language: JavaScript - Size: 9.7 MB - Last synced: 13 days ago - Pushed: 13 days ago - Stars: 0 - Forks: 0

XS-MLVP/xcomm

xspcomm encapsulates the DPI-based digital circuit and provides various high-level language operation interfaces.

Language: C++ - Size: 185 KB - Last synced: 13 days ago - Pushed: 13 days ago - Stars: 4 - Forks: 0

ljunb/rn-countdown

⏰ 纯 JavaScript 实现的针对 React Native App 的倒计时组件。

Language: JavaScript - Size: 117 KB - Last synced: 13 days ago - Pushed: 13 days ago - Stars: 18 - Forks: 5

icxhub/riscv-asic

RISC-V ASIC design reference

Size: 11.7 KB - Last synced: 13 days ago - Pushed: about 6 years ago - Stars: 10 - Forks: 1

k1rill-fedoseev/sourcify-to-etherscan

CLI for importing Sourcify verified contract to Etherscan in the simplest and fastest way

Language: TypeScript - Size: 53.7 KB - Last synced: 13 days ago - Pushed: 11 months ago - Stars: 7 - Forks: 11

imrukavina/http0

PHP library for getting and working with "DNS/SSL/Header" data.

Language: PHP - Size: 45.9 KB - Last synced: 12 days ago - Pushed: 13 days ago - Stars: 0 - Forks: 0

karimabdelhameed/verification

An android verification module implemented in kotlin that uses Firebase or Server APIs for SMS send & verification in your android app.

Language: Kotlin - Size: 278 KB - Last synced: 13 days ago - Pushed: almost 4 years ago - Stars: 12 - Forks: 5

google-research/fool-me-twice

Game code and data for Fool Me Twice: Entailment from Wikipedia Gamification https://arxiv.org/abs/2104.04725

Language: JavaScript - Size: 12.3 MB - Last synced: 13 days ago - Pushed: about 2 months ago - Stars: 15 - Forks: 6

philzook58/pcode2c

Convert low ghidra pcode to verifiable C

Language: Jupyter Notebook - Size: 1.59 MB - Last synced: 13 days ago - Pushed: 14 days ago - Stars: 12 - Forks: 2

noaa-oar-arl/monet

The Model and ObservatioN Evaluation Toolkit (MONET)

Language: Python - Size: 57.3 MB - Last synced: about 14 hours ago - Pushed: about 1 month ago - Stars: 42 - Forks: 19

incoresemi/river_core

RiVer Core is an open source Python based RISC-V Core Verification framework.

Language: Python - Size: 3.15 MB - Last synced: 14 days ago - Pushed: 15 days ago - Stars: 21 - Forks: 6

86maid/ddddocr

ddddocr rust 版本，ocr_api_server rust 版本，二进制版本，验证码识别，不依赖 opencv 库，跨平台运行，a simple OCR API server, very easy to deploy。

Language: Rust - Size: 71.6 MB - Last synced: 13 days ago - Pushed: 14 days ago - Stars: 41 - Forks: 4

microsoft/DecisionDiagrams

A performant and ergonomic implementation of binary decision diagrams for .NET

Language: C# - Size: 323 KB - Last synced: 13 days ago - Pushed: 9 months ago - Stars: 48 - Forks: 16

yuravg/uvm_tb_cross_bar

SystemVerilog UVM testbench example

Language: SystemVerilog - Size: 223 KB - Last synced: 15 days ago - Pushed: 15 days ago - Stars: 20 - Forks: 10

gookit/validate

⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。

Language: Go - Size: 723 KB - Last synced: 15 days ago - Pushed: 15 days ago - Stars: 1,009 - Forks: 115

PrincetonUniversity/VST

Verified Software Toolchain

Language: Coq - Size: 71.9 MB - Last synced: 21 days ago - Pushed: 26 days ago - Stars: 415 - Forks: 88

AutoVerse-ai/Verse-library

Library for modeling, simulation, and verification of interacting autonomous agents

Language: Jupyter Notebook - Size: 102 MB - Last synced: 11 days ago - Pushed: 11 days ago - Stars: 26 - Forks: 15

JuliaReach/ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

Language: Julia - Size: 9.56 MB - Last synced: 16 days ago - Pushed: 16 days ago - Stars: 185 - Forks: 17

LedgerIntegrations/SigVerify

XRP SigVerify is revolutionizing document signing and validation using the XRP Ledger and blockchain technology. Our platform provides secure and transparent document verification, including digital signature creation, robust verification, and seamless XRP Ledger integration.

Language: JavaScript - Size: 10.1 MB - Last synced: 9 days ago - Pushed: 10 days ago - Stars: 2 - Forks: 4

nextapps-be/laravel-verification-code

Authenticate users using a verification code sent to their mail.

Language: PHP - Size: 128 KB - Last synced: 6 days ago - Pushed: 2 months ago - Stars: 51 - Forks: 17

NOAA-OWP/hydrotools

Suite of tools for retrieving USGS NWIS observations and evaluating National Water Model (NWM) data.

Language: Python - Size: 14.9 MB - Last synced: 2 days ago - Pushed: 2 months ago - Stars: 52 - Forks: 12

vsajip/python-gnupg

A Python API for the GNU Privacy Guard (GnuPG). N.B. This repository has been migrated from Mercurial on 2019-11-16, so references to commits before this date will refer to the Mercurial source and not this Git repository. The migration is marked by a commit that adds a .gitignore file.

Language: Python - Size: 4.85 MB - Last synced: 17 days ago - Pushed: 17 days ago - Stars: 87 - Forks: 26

john-h-kastner/liquid-structures

Implementations of data structures from Okasaki's "Purely Functional Data Structures" verified using LiquidHaskell

Language: Haskell - Size: 536 KB - Last synced: 17 days ago - Pushed: 17 days ago - Stars: 5 - Forks: 0

a-tokyo/react-native-stripe-identity

🆔 React Native implementation for Stripe.js Identity

Language: JavaScript - Size: 851 KB - Last synced: 17 days ago - Pushed: over 1 year ago - Stars: 21 - Forks: 11

hamutan-86/Temporary-Number

Simple TempSMS Scraper for Python

Language: Python - Size: 56.6 KB - Last synced: 5 days ago - Pushed: 2 months ago - Stars: 3 - Forks: 0

jens-classen/vergo

Vergo: A Verification System for GOLOG Programs

Language: Prolog - Size: 1.14 MB - Last synced: 19 days ago - Pushed: 19 days ago - Stars: 4 - Forks: 1

AfterShip/email-verifier

:white_check_mark: A Go library for email verification without sending any emails.

Language: Go - Size: 580 KB - Last synced: 19 days ago - Pushed: about 2 months ago - Stars: 1,080 - Forks: 136

tzsk/payu

Payu Laravel Payment Gateway with Payment Verification Package. Payment for Payu Biz & PayuMoney India with Laravel.

Language: PHP - Size: 14.1 MB - Last synced: 19 days ago - Pushed: 19 days ago - Stars: 49 - Forks: 30

AutoDRIVE-Ecosystem/AutoDRIVE-AVLDC Fork of Tinker-Twins/AutoDRIVE-AVLDC

AutoDRIVE-AVL DRIVINGCUBE Development & Integration

Language: PureBasic - Size: 589 MB - Last synced: 19 days ago - Pushed: 19 days ago - Stars: 1 - Forks: 0

tulip-control/tulip-control

Temporal Logic Planning toolbox

Language: Python - Size: 9.51 MB - Last synced: 13 days ago - Pushed: 13 days ago - Stars: 108 - Forks: 35

leanprover/lean3 📦

Lean Theorem Prover

Language: C++ - Size: 50.3 MB - Last synced: 5 days ago - Pushed: 7 months ago - Stars: 2,138 - Forks: 216

dafny-lang/dafny

Dafny is a verification-aware programming language

Language: C# - Size: 230 MB - Last synced: 21 days ago - Pushed: 21 days ago - Stars: 2,765 - Forks: 250

informalsystems/apalache

APALACHE: symbolic model checker for TLA+ and Quint

Language: Scala - Size: 57.9 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 403 - Forks: 38

stefanprokopdev/verify-apple-id-token

Verify the Apple id token on the server side.

Language: TypeScript - Size: 74.2 KB - Last synced: 14 days ago - Pushed: 17 days ago - Stars: 78 - Forks: 15

lceragioli/SELinuxIFCIL

A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier

Language: OCaml - Size: 4.72 MB - Last synced: 20 days ago - Pushed: 20 days ago - Stars: 0 - Forks: 0

idaholab/civet

Continuous Integration, Verification, Enhancement, and Testing

Language: Python - Size: 3.57 MB - Last synced: 20 days ago - Pushed: 21 days ago - Stars: 34 - Forks: 13

kby-ai/IDCardRecognition-Flutter

ID document recognition Flutter to read ID card, passport and driver license, which is most powerful ID scanner and ID document reader

Size: 1.95 KB - Last synced: 19 days ago - Pushed: 21 days ago - Stars: 0 - Forks: 0

mono0926/firebase-verifier

Firebase ID tokens verifier.

Language: Swift - Size: 33.2 KB - Last synced: 21 days ago - Pushed: over 6 years ago - Stars: 11 - Forks: 4

dpretet/async_fifo

A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog

Language: Verilog - Size: 1.01 MB - Last synced: 21 days ago - Pushed: 23 days ago - Stars: 205 - Forks: 67

games647/MinecraftVerificationServer

Verifies if a minecraft user has premium (paid) account by connecting to fake server

Language: Java - Size: 39.1 KB - Last synced: 21 days ago - Pushed: over 3 years ago - Stars: 5 - Forks: 1

LBF38/ensta_landing_system

Verification Project @ ENSTA Bretagne

Size: 18.6 KB - Last synced: 21 days ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

ge-high-assurance/OPAI

Results from program Safety Assurance in Complex Aerospace Digital Systems that include AI/ML, funded by the FAA

Language: Java - Size: 120 MB - Last synced: 21 days ago - Pushed: 21 days ago - Stars: 0 - Forks: 0

uwdb/Cosette

Cosette is an automated SQL solver.

Language: Lean - Size: 5.55 MB - Last synced: 20 days ago - Pushed: over 2 years ago - Stars: 655 - Forks: 53

felixklauke/suspriar

A little experiment with an old deprecated and not really bug free teamspeak library. I guess I will have to create my own. When you want to see the result you may have a deep look into sparrow.

Language: C# - Size: 78.1 KB - Last synced: 22 days ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 0

ultraembedded/riscv

RISC-V CPU Core (RV32IM)

Language: Verilog - Size: 5.27 MB - Last synced: 21 days ago - Pushed: over 2 years ago - Stars: 1,080 - Forks: 206

camfort/camfort

Light-weight verification and transformation tools for Fortran

Language: Haskell - Size: 15.6 MB - Last synced: 22 days ago - Pushed: 6 months ago - Stars: 121 - Forks: 15

mciepluc/cocotb-coverage

Functional Coverage and Constrained Randomization Extensions for Cocotb

Language: Python - Size: 292 KB - Last synced: 19 days ago - Pushed: 6 months ago - Stars: 100 - Forks: 14

magmide/magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Language: Coq - Size: 38.5 MB - Last synced: 21 days ago - Pushed: about 2 months ago - Stars: 804 - Forks: 14

dalek-cryptography/ed25519-dalek

Fast and efficient ed25519 signing and verification in Rust.

Language: Rust - Size: 882 KB - Last synced: 20 days ago - Pushed: 9 months ago - Stars: 658 - Forks: 224

RubyOnWorld/kickbox-ruby

To begin, hop over to kickbox.com and create a free account. Once you've signed up and logged in, click on API Settings and then click Add API Key. Take note of the generated API Key - you'll need it to setup the client as explained below.

Language: Ruby - Size: 23.4 KB - Last synced: 23 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ziad-gg/verification-bot

discord verification bot using funcaptcha technologies

Language: JavaScript - Size: 4.83 MB - Last synced: 23 days ago - Pushed: 24 days ago - Stars: 0 - Forks: 0

wyvernSemi/pcievhost

PCIe (1.0a to 2.0) Virtual host model for verilog

Language: C - Size: 3.09 MB - Last synced: 24 days ago - Pushed: 24 days ago - Stars: 59 - Forks: 13

wyvernSemi/tcpIpPg

10GbE XGMII TCP/IPv4 packet generator for Verilog

Language: C++ - Size: 2.93 MB - Last synced: 24 days ago - Pushed: 24 days ago - Stars: 5 - Forks: 1

classicwuhao/uran

uran: A small engine for creating formulas accepted by SMT solver.

Language: Java - Size: 73.8 MB - Last synced: 24 days ago - Pushed: 24 days ago - Stars: 3 - Forks: 1

mikexfreeze/slide-verify

slide captcha verify 滑动验证条插件

Language: JavaScript - Size: 3.45 MB - Last synced: 22 days ago - Pushed: about 1 year ago - Stars: 56 - Forks: 13

intel/rohd

The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.

Language: Dart - Size: 16.9 MB - Last synced: 20 days ago - Pushed: about 1 month ago - Stars: 350 - Forks: 63

cloudmaker97/Discord-Captcha-Verification

A simple bot for verifying users after joining a discord server via a Captcha from CloudFlare Turnstile and logging their IP-Information for legal reasons

Language: JavaScript - Size: 372 KB - Last synced: 24 days ago - Pushed: 24 days ago - Stars: 0 - Forks: 0

pviotti/conver

Consistency verification tool

Language: Scala - Size: 78.1 KB - Last synced: 25 days ago - Pushed: over 2 years ago - Stars: 9 - Forks: 0

xlauko/lart-runtime

LART Runtime Support Library

Language: C++ - Size: 74.2 KB - Last synced: 25 days ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

elmahygurl/ATM_assembly

An ID and passcode verification system using assembly language. Used 8086 Emulator.

Language: Jupyter Notebook - Size: 2.93 MB - Last synced: 25 days ago - Pushed: 25 days ago - Stars: 0 - Forks: 0

STARIONGROUP/VCD-Generator

A Verification Control Document Generator

Language: C# - Size: 148 KB - Last synced: 25 days ago - Pushed: 25 days ago - Stars: 0 - Forks: 1

Ricagraca/PerSysVeRe

Verifies the correctness of programs that call persistent system calls under the ext4 file system.

Size: 0 Bytes - Last synced: 26 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

sushmaakoju/research-experience

Research experience

Size: 32 MB - Last synced: 26 days ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

uuverifiers/eldarica

The Eldarica model checker

Language: Scala - Size: 53.5 MB - Last synced: 25 days ago - Pushed: 25 days ago - Stars: 75 - Forks: 21

riceeater/AndroidVerificationCode

Android仿滴滴验证码输入框

Language: Java - Size: 180 KB - Last synced: 27 days ago - Pushed: 27 days ago - Stars: 22 - Forks: 7

akvelon/react-native-sms-user-consent

React Native wrapper for Android's SMS User Consent API, ready to use in React Native apps with minimum effort.

Language: Java - Size: 577 KB - Last synced: 27 days ago - Pushed: 27 days ago - Stars: 85 - Forks: 38

lukaszcz/coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

Language: OCaml - Size: 2.5 MB - Last synced: 20 days ago - Pushed: 29 days ago - Stars: 205 - Forks: 29

Juannie-PP/tenon

open-cv, slider, rotate captcha, 缺口滑块校验, 双图旋转校验

Language: Python - Size: 1.15 MB - Last synced: 24 days ago - Pushed: 3 months ago - Stars: 66 - Forks: 52

microsoft/Zen

Zen is a constraint solving library for .NET

Language: C# - Size: 1.38 MB - Last synced: 13 days ago - Pushed: 5 months ago - Stars: 76 - Forks: 10

CSantosM/cordova-plugin-veriff

Cordova plugin exposing the VeriffSDK- Smart and scalable identity verification

Language: JavaScript - Size: 308 KB - Last synced: 27 days ago - Pushed: over 1 year ago - Stars: 3 - Forks: 2

bg-elves/turkstream-bg-roadmap-dkim

This project paper includes a nodejs lib, used to authenticate emails' authenticity by validating their DKIM signature against Google's mail server. Using this process it has been proven that "TURKISH STREAM ROAD MAP" document, found as attachment to this email, is 100% authentic and has been sent 7 years ago from Evgeny Zobnin's mailbox.

Language: JavaScript - Size: 682 KB - Last synced: 27 days ago - Pushed: 28 days ago - Stars: 13 - Forks: 2

lip6/libDDD

Library for Data Decision Diagrams and Set Decision Diagrams

Language: C++ - Size: 34.4 MB - Last synced: 27 days ago - Pushed: 28 days ago - Stars: 10 - Forks: 4

getyoti/yoti-ruby-sdk

The Ruby SDK for interacting with the Yoti Platform

Language: Ruby - Size: 1.13 MB - Last synced: 28 days ago - Pushed: about 2 months ago - Stars: 5 - Forks: 7

tsmx/express-jwt-validator

Simple express middleware for validating JWT bearer tokens.

Language: JavaScript - Size: 528 KB - Last synced: 28 days ago - Pushed: 28 days ago - Stars: 0 - Forks: 0

wyvernSemi/vproc

Virtual processor co-simulation element for Verilog, VHDL and SystemVerilog environments

Language: C - Size: 7.03 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 21 - Forks: 6

simonepri/upash

🔒Unified API for password hashing algorithms

Language: JavaScript - Size: 500 KB - Last synced: 5 days ago - Pushed: about 3 years ago - Stars: 532 - Forks: 24

djgagne/hagelslag

Hagelslag supports segmentation and tracking of weather fields and scalable verification, including performance diagrams and reliability diagrams.

Language: Jupyter Notebook - Size: 91.3 MB - Last synced: 3 days ago - Pushed: 3 months ago - Stars: 67 - Forks: 27

JeffreyChen-s-old-space/VerificationCode_JE

Language: Java - Size: 46.9 KB - Last synced: 29 days ago - Pushed: about 3 years ago - Stars: 4 - Forks: 0

erbsland-dev/fast-file-encryption

A simple and fast asynchronous file encryption library for large files.

Language: Python - Size: 2.81 MB - Last synced: 15 days ago - Pushed: 5 months ago - Stars: 3 - Forks: 0

cda-tum/fiction

An open-source design automation framework for Field-coupled Nanotechnologies

Language: C++ - Size: 19.1 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 51 - Forks: 21

felleslosninger/efm-mocks

Language: JavaScript - Size: 24.4 MB - Last synced: 29 days ago - Pushed: 2 months ago - Stars: 1 - Forks: 2

diem/move

Home of the Move programming language

Language: Rust - Size: 108 MB - Last synced: 27 days ago - Pushed: 9 months ago - Stars: 335 - Forks: 131

andreaswilli/react-verification-input

🙆🏼 Customizable, masked input for React.

Language: JavaScript - Size: 1.84 MB - Last synced: 21 days ago - Pushed: about 1 month ago - Stars: 203 - Forks: 23

ucb-bar/chiseltest

The batteries-included testing and formal verification library for Chisel-based RTL designs.

Language: Scala - Size: 1.4 MB - Last synced: 25 days ago - Pushed: 29 days ago - Stars: 198 - Forks: 69

IVCTool/IVCT_Framework

For IVCT Framework Developers. Core System for the IVCT (Integration, Verification and Certification Tool) for HLA Federates

Language: Java - Size: 12.6 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 15 - Forks: 4

readdle/app-store-receipt-verification

Pure PHP library that allows receipts parsing/validation/verification without API calls to the App Store Server API

Language: PHP - Size: 85 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 12 - Forks: 2

viperproject/silver

Definition of the Viper intermediate verification language.

Language: Scala - Size: 28.9 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 74 - Forks: 39

Intuity/packtype

Packed data structure specifications for multi-language hardware projects.

Language: Python - Size: 156 KB - Last synced: about 2 months ago - Pushed: 3 months ago - Stars: 3 - Forks: 1

bark-simulator/bark

Open-Source Framework for Development, Simulation and Benchmarking of Behavior Planning Algorithms for Autonomous Driving

Language: C++ - Size: 13.3 MB - Last synced: 25 days ago - Pushed: 4 months ago - Stars: 274 - Forks: 64

ahmedash95/users-verification

Laravel Package for managing users verification.

Language: PHP - Size: 4.88 KB - Last synced: about 1 month ago - Pushed: almost 7 years ago - Stars: 4 - Forks: 0

verivital/nnv

Neural Network Verification Software Tool

Size: 2.64 GB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 100 - Forks: 48

ligurio/sqa-wiki

My own notes (drafts mostly) about software quality

Size: 392 KB - Last synced: 30 days ago - Pushed: over 1 year ago - Stars: 2,216 - Forks: 401

model-checking/kani

Kani Rust Verifier

Language: Rust - Size: 29.3 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 1,886 - Forks: 77

imaginationtech/constrainedrandom

A Python package for creating and solving constrained randomization problems.

Language: Python - Size: 373 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 10 - Forks: 0

contractshark/hammerhead

Packages of assorted Solidity/Vyper testing contracts

Language: Solidity - Size: 383 KB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 1 - Forks: 4

regulaforensics/DocumentReader-iOS

iOS Framework for reading and validation of identification documents

Language: Swift - Size: 27 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 55 - Forks: 15