Web extension to Save tweets in a verifiable way to IPFS

JavaScript29mit

9 months ago

chrome-extensionipfstwitter

Extensible, type-safe, fluent assertion Go library.

Go40mit

5 months ago

assertionsgogolang

eBPF verifier based on abstract interpretation

C++392mit

17 hours ago

abstract-interpretationebpfebpf-verifier

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

C#2431mit

4 months ago

assertion-librarysnapshotsnapshot-testing

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

C#33mit

6 days ago

blazorbunitsnapshot-testing

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

Go1143mit

4 months ago

disposableemailgo

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

Vue203mit

9 months ago

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

C#7

2 years ago

api-gatewayawsaws-cdk

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

Go95mit

9 months ago

dnsdns-validationdns-validator

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

JavaScript40mit

2 months ago

language-modelplanningrobot

🧑‍🔬 verify your TEAL program by experiment and observation

Jupyter Notebook17mit

2 years ago

algorandavmblockchain

Elixir library for signing and verifying BEAM files with Ed25519 signatures

Elixir6mit

4 years ago

Formally verified, bounded-stack XML library

Ada22agpl-3.0

4 years ago

adaformal-methodsformal-verification

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

Go27mit

5 months ago

cligogolang

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

Elixir11mit

3 years ago

authenticationaws-signatureelixir-library

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

PowerShell624mit

4 months ago

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

A framework for formally verifying distributed systems implementations in Coq

Coq585bsd-2-clause

6 months ago

coqcoq-librarydistributed-systems

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

Python302apache-2.0

3 months ago

awsaws-cliboto

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

Ruby164mit

7 days ago

emailgovernment

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

Go211bsd-2-clause

6 months ago

clidirectorygolang

Easily sign and verify cookies

TypeScript15mit

2 years ago

cookiecookiesdeno

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

Rust32mit

15 days ago

asn1asn1-decoderasn1-der

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

Dart420isc

2 months ago

fdroidflutteropenstreetmap

Source for my Android App - Root Verifier

Java46gpl-2.0

3 years ago

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

Clarity library for parsing Bitcoin transactions and verifying Merkle proofs

Clarity18agpl-3.0

8 days ago

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

Coq196other

10 months ago

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

OCaml326other

8 years ago

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

4 months ago

aesaes-gcmapple

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

a simple Vue auth verify plugin.

JavaScript6mit

2 years ago

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

Swift5060gpl-2.0

3 months ago

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

Dart375bsd-3-clause

last month

frameworkhardwarehardware-design

Kani Rust Verifier

Rust2246apache-2.0

2 days ago

model-checkingrustverification

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

Go151apache-2.0

2 years ago

devopsdevsecopsgolang

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

PHP64mit

last month

clean-codecode-qualitycodequality

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

Python11530cc-by-sa-4.0

3 months ago

androidandroid-applicationcompliancy-checklist

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

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

C#1153mit

6 days ago

blazorblazor-componentsbunit

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

TypeScript6114gpl-3.0

5 hours ago

emailencryptionjavascript

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

Kotlin363other

5 months ago

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

Swift3164apache-2.0

4 years ago

ioslayout-enginelayoutkit

Web extension to Save tweets in a verifiable way to IPFS

JavaScript29mit

9 months ago

chrome-extensionipfstwitter

Extensible, type-safe, fluent assertion Go library.

Go40mit

5 months ago

assertionsgogolang

eBPF verifier based on abstract interpretation

C++392mit

17 hours ago

abstract-interpretationebpfebpf-verifier

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

C#2431mit

4 months ago

assertion-librarysnapshotsnapshot-testing

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

C#33mit

6 days ago

blazorbunitsnapshot-testing

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

Go1143mit

4 months ago

disposableemailgo

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

Vue203mit

9 months ago

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

C#7

2 years ago

api-gatewayawsaws-cdk

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

Go95mit

9 months ago

dnsdns-validationdns-validator

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

JavaScript40mit

2 months ago

language-modelplanningrobot

🧑‍🔬 verify your TEAL program by experiment and observation

Jupyter Notebook17mit

2 years ago

algorandavmblockchain

Elixir library for signing and verifying BEAM files with Ed25519 signatures

Elixir6mit

4 years ago

Formally verified, bounded-stack XML library

Ada22agpl-3.0

4 years ago

adaformal-methodsformal-verification

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

Go27mit

5 months ago

cligogolang

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

Elixir11mit

3 years ago

authenticationaws-signatureelixir-library

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

PowerShell624mit

4 months ago

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

Find, verify, and analyze leaked credentials

Go17306agpl-3.0

yesterday

credentialsdevsecopsdynamic-analysis

A framework for formally verifying distributed systems implementations in Coq

Coq585bsd-2-clause

6 months ago

coqcoq-librarydistributed-systems

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

Python302apache-2.0

3 months ago

awsaws-cliboto

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

Ruby164mit

7 days ago

emailgovernment

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

Go211bsd-2-clause

6 months ago

clidirectorygolang

Easily sign and verify cookies

TypeScript15mit

2 years ago

cookiecookiesdeno

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

Rust32mit

15 days ago

asn1asn1-decoderasn1-der

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

Dart420isc

2 months ago

fdroidflutteropenstreetmap

Source for my Android App - Root Verifier

Java46gpl-2.0

3 years ago

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

Clarity library for parsing Bitcoin transactions and verifying Merkle proofs

Clarity18agpl-3.0

8 days ago

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

Coq196other

10 months ago

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

OCaml326other

8 years ago

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

4 months ago

aesaes-gcmapple

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

a simple Vue auth verify plugin.

JavaScript6mit

2 years ago

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

Swift5060gpl-2.0

3 months ago

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

Dart375bsd-3-clause

last month

frameworkhardwarehardware-design

Kani Rust Verifier

Rust2246apache-2.0

2 days ago

model-checkingrustverification

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

Go151apache-2.0

2 years ago

devopsdevsecopsgolang

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

PHP64mit

last month

clean-codecode-qualitycodequality

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

Python11530cc-by-sa-4.0

3 months ago

androidandroid-applicationcompliancy-checklist

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

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

C#1153mit

6 days ago

blazorblazor-componentsbunit

Description EteSync is a secure and privacy respecting note taking applicatio

TypeScript89other

7 months ago

encryptionend-to-end-encryptionetebase

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

TypeScript6114gpl-3.0

5 hours ago

emailencryptionjavascript

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

Kotlin363other

5 months ago

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

Swift3164apache-2.0

4 years ago

ioslayout-enginelayoutkit