eBPF verifier based on abstract interpretation

C++327mit

3 months ago

abstract-interpretationebpfebpf-verifier

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

Go1027mit

3 months ago

disposableemailgo

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

JavaScript32mit

4 months ago

alexaalexa-skillalexa-verifier

Kani Rust Verifier

Rust1752apache-2.0

2 months ago

model-checkingrustverification

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

Go78mit

2 months ago

dnsdns-validationdns-validator

Extensible, type-safe, fluent assertion Go library.

Go39mit

2 months ago

assertionsgogolang

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

C#2251mit

3 months ago

assertion-librarysnapshotsnapshot-testing

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

C#31mit

4 months ago

blazorbunitsnapshot-testing

Formal specification and generation of verifiable binary parsers, message genera

Ada95agpl-3.0

5 months ago

adabinary-parsercommunication-protocol

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

Go117mit

2 months ago

assertion-libraryassertionsgo

Find and verify secrets

Go13902agpl-3.0

2 hours ago

credentialsdevsecopsdynamic-analysis

A framework for formally verifying distributed systems implementations in Coq

Coq559bsd-2-clause

6 months ago

coqcoq-librarydistributed-systems

Create and verify JSON Web Tokens (JWT) with Deno or the browser.

TypeScript199mit

6 months ago

authenticationbrowserdeno

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

Coq12mit

5 months ago

compcertcoqgraph-algorithms

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

Python286apache-2.0

17 days ago

awsaws-cliboto

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

Ruby158mit

4 months ago

emailgovernment

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

Go184bsd-2-clause

2 months ago

clidirectorygolang

Description This editor does not make you think. Just go to a mall, and start

Dart356isc

15 hours ago

fdroidflutteropenstreetmap

Python module for generating and verifying JSON Web Tokens

Python218mit

6 months ago

Clarity library for parsing Bitcoin transactions and verifying Merkle proofs

Clarity15agpl-3.0

5 months ago

Web extension to Save tweets in a verifiable way to IPFS

JavaScript22mit

3 months ago

chrome-extensionipfstwitter

Verify that pull request titles start with a ticket ID

TypeScript38mit

10 days ago

clubhousecompliancegithub-action

An implementation of the Raft distributed consensus protocol, verified in Coq us

Coq175bsd-2-clause

6 months ago

consensuscoqdistributed-systems

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

Coq20lgpl-3.0

6 months ago

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

JavaScript71mit

5 months ago

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

Dart297bsd-3-clause

5 months ago

frameworkhardwarehardware-design

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

PHP53mit

2 months ago

clean-codecode-qualitycodequality

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

Python11267cc-by-sa-4.0

7 days ago

androidandroid-applicationcompliancy-checklist

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

C#1027mit

4 months ago

blazorblazor-componentsbunit

Description EteSync is a secure and privacy respecting note taking applicatio

TypeScript81other

8 days ago

encryptionend-to-end-encryptionetebase

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

Swift4764gpl-2.0

last month

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

Kotlin310other

2 months ago

Source for my Android App - Root Verifier

Java44gpl-2.0

2 years ago

Google ID token verifier for Erlang

Erlang3mit

6 years ago

erlanggoogle-authenticationgoogle-id-token

CakePHP3: Easily issue tokens that can be used for mail authentication.

PHP9mit

4 years ago

cakephpcakephp-plugincakephp3

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

Vue199mit

last year

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

C#7

last year

api-gatewayawsaws-cdk

🧑‍🔬 verify your TEAL program by experiment and observation

Jupyter Notebook18mit

last year

algorandavmblockchain

Elixir library for signing and verifying BEAM files with Ed25519 signatures

Elixir5mit

3 years ago

Functional Algorithms Verified in SSReflect

Coq32

last year

Formal specification and generation of verifiable binary parsers, message genera

Ada91agpl-3.0

last year

adabinary-parsercommunication-protocol

Formally verified, bounded-stack XML library

Ada19agpl-3.0

4 years ago

adaformal-methodsformal-verification

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86

Ada75gpl-3.0

3 years ago

adaosspark

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

Go26mit

last year

cligogolang

An Elixir Plug to verify HTTP requests signed with AWS Signature V4

Elixir0mit

7 years ago

authenticationaws-signatureelixir-plug

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

Elixir11mit

3 years ago

authenticationaws-signatureelixir-library

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

PowerShell610mit

2 years ago

Do $things over the internet, verified by PGP

Java42other

2 years ago

formally verified category theory library

Idris248agpl-3.0

4 years ago

category-theoryformal-proofsformal-verification

Thin layer on top of Cryptex for more easily encrypting/decrypting, signing/veri

Elixir0

9 years ago

Create and verify JSON Web Tokens (JWT) with Deno or the browser.

TypeScript180mit

last year

authenticationbrowserdeno

Verified hash-based AMQ structures in Coq

Coq120gpl-3.0

4 years ago

amqbloom-filtercoq

Easily sign and verify cookies

TypeScript15mit

last year

cookiecookiesdeno

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

Elixir11wtfpl

9 years ago

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

C++186mit

2 years ago

anti-debugmalwareresearch

Clarity library for parsing Bitcoin transactions and verifying Merkle proofs

Shell33agpl-3.0

3 years ago

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

Coq193other

5 years ago

Verified boot hack for T480

Shell0gpl-3.0

last year

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

OCaml321other

8 years ago

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

Swift718mit

last year

aesaes-gcmapple

a simple Vue auth verify plugin.

JavaScript6mit

last year

A system aiming to solve fake news and propaganda through a vetting mechanism to

JavaScript11other

2 years ago

dialecticsdiscussionethics

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

Go147apache-2.0

last year

devopsdevsecopsgolang

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

Ada145

2 years ago

adaformal-methodsformal-specification

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

Java6gpl-3.0

9 years ago

Are websites and social media apps blocked? Is your network unusually slow? Run

680bsd-3-clause

2 years ago

ooniprobe

Store your unique credential on a hardware-backed security key and take it where

Kotlin236bsd-2-clause

last year

nfcoathtotp

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

Swift3159apache-2.0

3 years ago

ioslayout-enginelayoutkit