GitHub topics: verification

Repositories

msoos/cryptominisat

An advanced SAT solver

Language: C++ - Size: 58.6 MB - Last synced at: about 4 hours ago - Pushed at: about 6 hours ago - Stars: 853 - Forks: 195

matghazaryan/SwiftyCodeView

Fully customizable UI Component for verification codes written in swift with RxSwift support!

Language: Swift - Size: 1.02 MB - Last synced at: about 4 hours ago - Pushed at: almost 2 years ago - Stars: 91 - Forks: 30

ljunb/rn-countdown

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

Language: JavaScript - Size: 117 KB - Last synced at: about 13 hours ago - Pushed at: about 14 hours ago - Stars: 18 - Forks: 5

Sibakumarpanda/Functional_Coverage_Coding_by_Siba

Understanding on Functional Coverage & Code Coverage in Verification

Size: 0 Bytes - Last synced at: about 15 hours ago - Pushed at: about 16 hours ago - Stars: 1 - Forks: 0

viperproject/viperserver

HTTP server that manages verification requests to different tools from the Viper tool stack.

Language: Scala - Size: 11.2 MB - Last synced at: about 15 hours ago - Pushed at: about 16 hours ago - Stars: 10 - Forks: 17

ParthMahapadi/agama-OATH-TOTP

this is test repo for agama lab testing

Language: Java - Size: 94.7 KB - Last synced at: about 16 hours ago - Pushed at: about 17 hours ago - Stars: 0 - Forks: 0

namin/dafny-sketcher

piggy-backing on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning

Language: Python - Size: 53.7 KB - Last synced at: about 22 hours ago - Pushed at: about 23 hours ago - Stars: 8 - Forks: 1

viperproject/gobra-action

Github Action to verify Go code with Gobra directly in a CI workflow

Language: Shell - Size: 73.2 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 2 - Forks: 2

Tkko/Flutter_Pinput

Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations, iOS autofill, Android autofill

Language: Dart - Size: 7.66 MB - Last synced at: about 17 hours ago - Pushed at: 4 months ago - Stars: 806 - Forks: 186

Walver-io/walver-sdk

Tokengate, verify wallets, collect data. Python API Wrapper for the Walver API

Language: Python - Size: 32.2 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 2 - Forks: 0

NOAA-OWP/wres-explorer

Utilities to visualize and explore output from the NOAA Office of Water Prediction's (OWP) Water Resources Evaluation Service (WRES).

Language: Python - Size: 1.23 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 1 - Forks: 1

Vonage/vonage-python-sdk

Vonage Server SDK for Python. API support for Voice, SMS, WhatsApp, Verify (2FA), Video Meetings and more.

Language: Python - Size: 1.14 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 201 - Forks: 117

rarimo/freedomtool-web-ui

Language: TypeScript - Size: 16.5 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 2 - Forks: 0

DuttPanchal04/rtl-design-and-synthesis-using-icarus-verilog-gtkwave-yosys

A collection of Verilog-based RTL design projects with testbenches, simulated using Icarus Verilog and GTKWave. This repo showcases foundational digital logic circuits as part of my VLSI learning journey using open-source tools.

Language: Verilog - Size: 6.52 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0

epfl-lara/stainless

Verification framework and tool for higher-order Scala programs

Language: Scala - Size: 139 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 374 - Forks: 56

emagnusandersson/buvt

Back Up and Verification Tool

Language: JavaScript - Size: 208 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0

Majenayu/Gram-Verify

Aadhaar-based rural banking verification system with document authentication, digital land verification, and nominee notification features.

Language: HTML - Size: 44.5 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0

cocotb/cocotb

cocotb: Python-based chip (RTL) verification

Language: Python - Size: 9.3 MB - Last synced at: 1 day ago - Pushed at: 2 days ago - Stars: 1,966 - Forks: 549

BegangLive/VLSI-Design-Verification-Projects

This repo contains a collection of Verilog +System Verilog +RTL +UVM Projects

Language: Stata - Size: 20.5 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 1 - Forks: 0

lsrcz/grisette

A monadic library for symbolic evaluation

Language: Haskell - Size: 28.2 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 60 - Forks: 3

sosy-lab/cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Language: SWIG - Size: 874 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 240 - Forks: 90

OpenMP-Validation-and-Verification/OpenMP_VV

OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, publication and presentations, please check out our website ->

Language: C - Size: 2.92 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 58 - Forks: 20

VUnit/vunit

VUnit is a unit testing framework for VHDL/SystemVerilog

Language: VHDL - Size: 14 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 770 - Forks: 273

apalache-mc/apalache

APALACHE: symbolic model checker for TLA+ and Quint

Language: Scala - Size: 62.2 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 460 - Forks: 42

AU-COBRA/ConCert

A framework for smart contract verification in Coq

Language: Coq - Size: 14.4 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 119 - Forks: 21

soenneker/soenneker.sendgrid.validation

A .NET typesafe implementation of SendGrid's Validation API

Language: C# - Size: 1.1 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0

dafny-lang/dafny

Dafny is a verification-aware programming language

Language: C# - Size: 241 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 3,060 - Forks: 274

soenneker/soenneker.instantly.verification

A .NET typesafe implementation of Instantly.ai's Verification API

Language: C# - Size: 1.3 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0

tsmx/express-jwt-validator

Simple express middleware for validating JWT bearer tokens.

Language: JavaScript - Size: 665 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0

FStarLang/karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Language: OCaml - Size: 12.4 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 445 - Forks: 65

creusot-rs/creusot

Creusot helps you prove your code is correct in an automated fashion.

Language: Rust - Size: 67 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1,256 - Forks: 57

seL4/website

The seL4.systems website

Language: HTML - Size: 403 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 3 - Forks: 13

cyril0124/verilua

Verilua: An Open Source Versatile Framework for Efficient Hardware Verification and Analysis Using LuaJIT

Language: Lua - Size: 3.39 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 3 - Forks: 0

Vonage/vonage-java-sdk

Vonage Server SDK for Java. API support for SMS, Messages, Voice, Text-to-Speech, Numbers, Verify (2FA), Video and more.

Language: Java - Size: 6.69 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 97 - Forks: 121

lil-emmanuel/go-readability

Extract readable content from web pages - Mozilla’s and Mizchi Readability ported to Go

Language: Go - Size: 142 KB - Last synced at: 3 days ago - Pushed at: 3 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: 493 KB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 8 - Forks: 0

RadioactiveScandium/Digital-Logic-Design

Digital logic implementation and verification through Verilog/SV

Language: SystemVerilog - Size: 13.9 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1 - Forks: 0

hacl-star/hacl-star

HACL*, a formally verified cryptographic library written in F*

Language: F* - Size: 569 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1,748 - Forks: 179

anthonycr/Mockingbird

A minimalist faking framework exclusively for verifying interactions

Language: Kotlin - Size: 486 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 6 - Forks: 2

will62794/spectacle

Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.

Language: JavaScript - Size: 29.1 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 117 - Forks: 9

soenneker/soenneker.instantly.suite

A comprehensive suite of utility libraries for Instantly.ai's API

Language: C# - Size: 1.79 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

in-toto/witness

Witness is a pluggable framework for software supply chain risk management. It automates, normalizes, and verifies software artifact provenance.

Language: Go - Size: 15.2 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 472 - Forks: 66

tlaplus/tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Language: Java - Size: 139 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 2,422 - Forks: 209

FStarLang/FStar

A Proof-oriented Programming Language

Language: F* - Size: 752 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 2,835 - Forks: 239

mockk/mockk

mocking library for Kotlin

Language: Kotlin - Size: 13.8 MB - Last synced at: 3 days ago - Pushed at: 6 days ago - Stars: 5,554 - Forks: 365

pact-foundation/pact_broker

Enables your consumer driven contracts workflow

Language: Ruby - Size: 12 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 719 - Forks: 181

robotane/BCTerm

A formal Java bytecode interpreter that models the JVM execution environment with precise tracking of states during bytecode execution. Designed for program verification, bytecode semantics analysis, and termination proof validation.

Language: Java - Size: 133 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

openhwgroup/core-v-verif

Functional verification project for the CORE-V family of RISC-V cores.

Language: Assembly - Size: 112 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 528 - Forks: 235

nci/scores

scores: Metrics for the verification, evaluation and optimisation of forecasts, predictions or models.

Language: Jupyter Notebook - Size: 18.5 MB - Last synced at: 4 days ago - Pushed at: 9 days ago - Stars: 164 - Forks: 32

lindy-labs/aegis

Verify Cairo contracts in Lean 4

Language: Lean - Size: 438 KB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 14 - Forks: 2

JosephL812/Qubix-OTP-Bot-One-Time-Password-Verification-Bank-Paypal-Bypass-2-Fa

This repository features the Qubix OTP Bot, designed to handle one-time password verifications for banking, PayPal, and 2FA systems. It provides tools for bypassing OTP processes, ensuring streamlined and efficient verifications.

Language: JavaScript - Size: 3.04 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 5 - Forks: 1

Pacgeteam72/Wavix-OTP-Bot-One-Time-Password-Telegram-Paypal-Whatsapp-Verification-Bypass

This repository features the Wavix OTP Bot, designed for handling one-time passwords across Telegram, PayPal, and WhatsApp. It provides tools for verification bypass and streamlining OTP management in these platforms.

Language: Go - Size: 2.26 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 1

MrXujiang/react-slider-vertify

基于react实现的滑动验证码组件

Language: JavaScript - Size: 70.3 KB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 195 - Forks: 47

SiEPIC/SiEPIC_EBeam_PDK

SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout

Language: Logos - Size: 340 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 227 - Forks: 160

XS-MLVP/UnityChipForXiangShan

Crowdsourced Verification Project (UnityChip Verification) for the Xiangshan Processor

Language: Python - Size: 19.5 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 35 - Forks: 16

kamushadenes/cloud-verify

Cryptographic attestation to verify if your application is running within a cloud environment.

Language: Go - Size: 152 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 3 - Forks: 0

anvil-verifier/anvil

Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

Language: Rust - Size: 35.5 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 111 - Forks: 7

libxengine/XEngine_Authorize

c c++ network authorize service.c c++ 网络验证服务.c c++ 网络授权服务

Language: C++ - Size: 11.3 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 55 - Forks: 20

gookit/validate

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

Language: Go - Size: 782 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,094 - Forks: 116

OSVVM/OSVVM

OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...

Language: VHDL - Size: 18.8 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 238 - Forks: 67

Akira-yzn/FAKE-SAFEGUARD-TELEGRAM-BOT

Telegram fake safeguard & guardian source code leaked full source code

Size: 4.88 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

IAreKyleW00t/verified-bot-commit

✅ GitHub Action for creating signed and verified bot commits

Language: TypeScript - Size: 3.95 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 6 - Forks: 0

ucb-bar/chiseltest 📦

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

Language: Scala - Size: 1.41 MB - Last synced at: 4 days ago - Pushed at: 9 months ago - Stars: 233 - Forks: 76

nyu-acsys/raven

An automated deductive program verifier based on concurrent separation logic

Language: OCaml - Size: 8.17 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 14 - Forks: 1

ucsd-progsys/liquidhaskell

Liquid Types For Haskell

Language: Haskell - Size: 57.7 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,238 - Forks: 147

noaa-oar-arl/monet

The Model and ObservatioN Evaluation Toolkit (MONET)

Language: Python - Size: 57.4 MB - Last synced at: about 1 hour ago - Pushed at: 24 days ago - Stars: 47 - Forks: 23

hopae-official/Verifiable-Digital-Credentials

The easiest and most secure way to handle Verifiable Digital Credentials

Language: TypeScript - Size: 1.46 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 7 - Forks: 0

trufflesecurity/trufflehog

Find, verify, and analyze leaked credentials

Language: Go - Size: 41.7 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 18,985 - Forks: 1,845

diem/move

Home of the Move programming language

Language: Rust - Size: 108 MB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 362 - Forks: 138

model-checking/kani

Kani Rust Verifier

Language: Rust - Size: 33 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 2,536 - Forks: 111

kby-ai/IDCardRecognition-Flutter

Intelligent ID OCR, Global ID Document Recognition, ID Card Recognition, Passport Recognition, Driver License Recognition, ID Scanner, ID Document Reader, ID Card OCR, ID Document OCR

Language: Dart - Size: 729 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 4 - Forks: 1

WFRT/verif

Graphical tool for creating verification plots of weather forecasts

Language: Python - Size: 4.41 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 89 - Forks: 38

mit-pdos/perennial

Verifying concurrent crash-safe systems

Language: Coq - Size: 24.5 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 178 - Forks: 38

informalsystems/quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Language: TypeScript - Size: 65.1 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 923 - Forks: 48

viperproject/viper-ide

This is the main repository for the Viper IDE extension for VS Code.

Language: TypeScript - Size: 17.6 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 10 - Forks: 11

gitmachtl/cardano-signer

Tool to sign data with a Cardano-Secret-Key // verify data with a Cardano-Public-Key // generate CIP-8, CIP-30, CIP-36 data // sign CIP-100/108/119 documents // generate Cardano keys like payment, stake, drep from a Derivation-Path with/without mnemonics

Language: JavaScript - Size: 40.2 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 35 - Forks: 8