Extensible, type-safe, fluent assertion Go library.

Go40mit

6 months ago

assertionsgogolang

Verify is a snapshot testing tool that simplifies the assertion of complex data

C#2871mit

6 days ago

assertion-librarysnapshotsnapshot-testing

Support for rendering a Blazor Component to a verified file via bunit or raw Bla

C#33mit

2 days ago

blazorbunitsnapshot-testing

This is a vue component, which is sliding to unlock some functionalities, such a

Vue203mit

9 months ago

CLI tool that helps verify current status of URIs in text files

Go27mit

5 months ago

cligogolang

Find, verify, and analyze leaked credentials

Go17458agpl-3.0

20 hours ago

credentialsdevsecopsdynamic-analysis

Using either Markdown or Programmatically to generate trees🌳 and directories📁,

Go211bsd-2-clause

7 months ago

clidirectorygolang

Web app that can hash/hmac, encrypt/decrypt, and sign/verify the data, debug JWT

Rust32mit

27 days ago

asn1asn1-decoderasn1-der

Verify that pull request titles start with a ticket ID

TypeScript43mit

2 months ago

clubhousecompliancegithub-action

RSA public/private key generation, RSA, AES encryption/decryption, RSA sign/veri

Swift722mit

5 months ago

aesaes-gcmapple

Description Okta Verify is a lightweight app that is used to register your de

Python302apache-2.0

3 months ago

awsaws-cliboto

eBPF verifier based on abstract interpretation

C++392mit

7 days ago

abstract-interpretationebpfebpf-verifier

🚀 Configurable Golang 📨 email validator/verifier. Verify email via Regex, DNS,

Go95mit

9 months ago

dnsdns-validationdns-validator

An express middleware that verifies HTTP requests sent to an Alexa skill are sen

JavaScript31mit

last month

alexaalexa-skillalexa-verifier

A tool to verify that your files are in harmony with your .editorconfig

PHP64mit

2 months ago

clean-codecode-qualitycodequality

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

Go1143mit

5 months ago

disposableemailgo

bUnit is a testing library for Blazor components that make tests look, feel, and

C#1159mit

5 days ago

blazorblazor-componentsbunit

CLAIRify: Errors are Useful Prompts: Instruction Guided Task Programming with Ve

JavaScript40mit

3 months ago

language-modelplanningrobot

A Go test assertion library for verifying that two representations of JSON are s

Go122mit

9 months ago

assertion-libraryassertionsgo

PowerShell module to check if a Windows binary (EXE/DLL) has been compiled with

PowerShell626mit

4 months ago

A framework for formally verifying distributed systems implementations in Coq

Coq585bsd-2-clause

7 months ago

coqcoq-librarydistributed-systems

A library for verifying graph-manipulating programs. Powered by Coq and VST. Com

Coq17mit

last month

compcertcoqgraph-algorithms

A ruby gem to check if the owner of a given email address or website is working

Ruby165mit

3 days ago

emailgovernment

Description The best app for on-the-ground surveying for OpenStreetMap! Add s

Dart421isc

2 days ago

fdroidflutteropenstreetmap

Description EteSync is a secure and privacy respecting note taking applicatio

TypeScript89other

7 months ago

encryptionend-to-end-encryptionetebase

Clarity library for parsing Bitcoin transactions and verifying Merkle proofs

Clarity18agpl-3.0

20 days ago

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpr

Coq196other

10 months ago

Web extension to Save tweets in a verifiable way to IPFS

JavaScript29mit

9 months ago

chrome-extensionipfstwitter

VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Co

Coq23lgpl-3.0

4 months ago

A GitHub Action that verifies your pull request contains a reference to a Jira t

JavaScript75mit

2 months ago

The Rapid Open Hardware Development (ROHD) framework is a framework for describi

Dart375bsd-3-clause

2 months ago

frameworkhardwarehardware-design

Kani Rust Verifier

Rust2264apache-2.0

9 days ago

model-checkingrustverification

The Mobile Application Security Testing Guide (MASTG) is a comprehensive manual

Python11782cc-by-sa-4.0

11 days ago

androidandroid-applicationcompliancy-checklist

Description PROTECT YOUR PRIVACY WITH TUTA MAIL FOR FREE: SECURE, PRIVATE AND

TypeScript6127gpl-3.0

yesterday

emailencryptionjavascript

Description Pure instant messaging — simple, fast, secure, and synced acros

Swift5070gpl-2.0

4 months ago

Description Tired of spam and being tracked online through your personal emai

Kotlin369other

5 months ago

Phone verification service built using: AWS cdk, api gateway, dotnet, lambda, dy

C#7

2 years ago

api-gatewayawsaws-cdk

🧑‍🔬 verify your TEAL program by experiment and observation

Jupyter Notebook17mit

2 years ago

algorandavmblockchain

An Elixir library to sign and verify HTTP requests using AWS Signature V4

Elixir11mit

3 years ago

authenticationaws-signatureelixir-library

Easily sign and verify cookies

TypeScript15mit

2 years ago

cookiecookiesdeno

Simple reCaptcha display/verify code for Elixir applications. Using Exrecaptcha

Elixir12wtfpl

9 years ago

ShowStopper is a tool for helping malware researchers explore and test anti-debu

C++194mit

2 years ago

anti-debugmalwareresearch

SLAyer is an automatic formal verification tool that uses separation logic to ve

OCaml326other

8 years ago

a simple Vue auth verify plugin.

JavaScript6mit

2 years ago

preflight helps you verify scripts and executables to mitigate chain of supply a

Go152apache-2.0

2 years ago

devopsdevsecopsgolang

Elixir library for signing and verifying BEAM files with Ed25519 signatures

Elixir6mit

4 years ago

Formally verified, bounded-stack XML library

Ada22agpl-3.0

5 years ago

adaformal-methodsformal-verification

Do $things over the internet, verified by PGP

Java44other

3 years ago

formally verified category theory library

Idris256agpl-3.0

4 years ago

category-theoryformal-proofsformal-verification

Source for my Android App - Root Verifier

Java46gpl-2.0

3 years ago

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programmi

Ada152

2 years ago

adaformal-methodsformal-specification

VTU CS Lab Manual aims at providing Lab Manual for Computer Science students of

Java6gpl-3.0

10 years ago

Description Welcome professionals! The key to getting in is getting started.

Swift3164apache-2.0

4 years ago

ioslayout-enginelayoutkit