pin-tweet-to-ipfs

pin-tweet-to-ipfs

Web extension to Save tweets in a verifiable way to IPFS

JavaScript25mit

8 months ago

chrome-extensionipfstwitter

verify

Extensible, type-safe, fluent assertion Go library.

Go40mit

5 months ago

assertionsgogolang

ebpf-verifier

eBPF verifier based on abstract interpretation

C++369mit

3 months ago

abstract-interpretationebpfebpf-verifier

Verify

Verify

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

C#2431mit

3 months ago

assertion-librarysnapshotsnapshot-testing

Verify.Blazor

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

C#32mit

9 days ago

blazorbunitsnapshot-testing

email-verifier

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

Go1143mit

4 months ago

disposableemailgo

vue-drag-verify

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

Vue203mit

9 months ago

aws-cdk-phone-verify-api

aws-cdk-phone-verify-api

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

C#7

2 years ago

api-gatewayawsaws-cdk

truemail-go

truemail-go

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

Go95mit

8 months ago

dnsdns-validationdns-validator

xdl-generation

xdl-generation

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

JavaScript40mit

2 months ago

language-modelplanningrobot

graviton

graviton

🧑‍🔬 verify your TEAL program by experiment and observation

Jupyter Notebook17mit

2 years ago

algorandavmblockchain

code_signing

Elixir library for signing and verifying BEAM files with Ed25519 signatures

Elixir6mit

4 years ago

SXML

Formally verified, bounded-stack XML library

Ada22agpl-3.0

4 years ago

adaformal-methodsformal-verification

vl

vl

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

Go27mit

5 months ago

cligogolang

sigaws

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

Elixir11mit

3 years ago

authenticationaws-signatureelixir-library

jsonassert

jsonassert

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

Go122mit

8 months ago

assertion-libraryassertionsgo

PESecurity

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

PowerShell624mit

3 months ago

PGPAuth_Android

Do $things over the internet, verified by PGP

Java43other

3 years ago

idris-ct

formally verified category theory library

Idris256agpl-3.0

4 years ago

category-theoryformal-proofsformal-verification

verdi

A framework for formally verifying distributed systems implementations in Coq

Coq585bsd-2-clause

6 months ago

coqcoq-librarydistributed-systems

okta-awscli

okta-awscli

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

Python302apache-2.0

3 months ago

awsaws-cliboto

CertiGraph

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

Coq17mit

24 days ago

compcertcoqgraph-algorithms

gman

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

Ruby164mit

13 days ago

emailgovernment

gtree

gtree

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

Go211bsd-2-clause

6 months ago

clidirectorygolang

squishy_cookies

squishy_cookies

Easily sign and verify cookies

TypeScript15mit

2 years ago

cookiecookiesdeno

crypto-helper

crypto-helper

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

Rust32mit

8 days ago

asn1asn1-decoderasn1-der

every_door

every_door

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

Dart417isc

last month

fdroidflutteropenstreetmap

RootVerifier-APP

Source for my Android App - Root Verifier

Java46gpl-2.0

3 years ago

exrecaptcha

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

Elixir12wtfpl

9 years ago

showstopper

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

C++194mit

2 years ago

anti-debugmalwareresearch

clarity-bitcoin

Clarity library for parsing Bitcoin transactions and verifying Merkle proofs

Clarity17agpl-3.0

6 months ago

jscert

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

Coq196other

9 months ago

SLAyer

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

OCaml326other

8 years ago

ticket-check-action

Verify that pull request titles start with a ticket ID

TypeScript43mit

2 months ago

clubhousecompliancegithub-action

SwCrypt

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

Swift721mit

4 months ago

aesaes-gcmapple

vcfloat

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

Coq23lgpl-3.0

4 months ago

pr-lint-action

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

JavaScript75mit

last month

vue-authplugin

a simple Vue auth verify plugin.

JavaScript6mit

2 years ago

TelegramSwift

TelegramSwift

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

Swift4938gpl-2.0

3 months ago

rohd

rohd

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

Dart375bsd-3-clause

last month

frameworkhardwarehardware-design

kani

kani

Kani Rust Verifier

Rust2240apache-2.0

6 hours ago

model-checkingrustverification

preflight

preflight

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

Go151apache-2.0

2 years ago

devopsdevsecopsgolang

editorconfig-checker.php

editorconfig-checker.php

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

PHP64mit

last month

clean-codecode-qualitycodequality

owasp-mastg

owasp-mastg

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

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

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

Java6gpl-3.0

10 years ago

bUnit

bUnit

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

C#1141mit

7 days ago

blazorblazor-componentsbunit

tutanota

tutanota

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

TypeScript6103gpl-3.0

9 hours ago

emailencryptionjavascript

Simple-Login-Android

Simple-Login-Android

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

Kotlin361other

4 months ago

LayoutKit

LayoutKit

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

Swift3164apache-2.0

4 years ago

ioslayout-enginelayoutkit

pin-tweet-to-ipfs

pin-tweet-to-ipfs

Web extension to Save tweets in a verifiable way to IPFS

JavaScript25mit

8 months ago

chrome-extensionipfstwitter

verify

Extensible, type-safe, fluent assertion Go library.

Go40mit

5 months ago

assertionsgogolang

ebpf-verifier

eBPF verifier based on abstract interpretation

C++369mit

3 months ago

abstract-interpretationebpfebpf-verifier

Verify

Verify

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

C#2431mit

3 months ago

assertion-librarysnapshotsnapshot-testing

Verify.Blazor

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

C#32mit

9 days ago

blazorbunitsnapshot-testing

email-verifier

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

Go1143mit

4 months ago

disposableemailgo

vue-drag-verify

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

Vue203mit

9 months ago

aws-cdk-phone-verify-api

aws-cdk-phone-verify-api

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

C#7

2 years ago

api-gatewayawsaws-cdk

truemail-go

truemail-go

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

Go95mit

8 months ago

dnsdns-validationdns-validator

xdl-generation

xdl-generation

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

JavaScript40mit

2 months ago

language-modelplanningrobot

graviton

graviton

🧑‍🔬 verify your TEAL program by experiment and observation

Jupyter Notebook17mit

2 years ago

algorandavmblockchain

code_signing

Elixir library for signing and verifying BEAM files with Ed25519 signatures

Elixir6mit

4 years ago

SXML

Formally verified, bounded-stack XML library

Ada22agpl-3.0

4 years ago

adaformal-methodsformal-verification

vl

vl

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

Go27mit

5 months ago

cligogolang

sigaws

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

Elixir11mit

3 years ago

authenticationaws-signatureelixir-library

jsonassert

jsonassert

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

Go122mit

8 months ago

assertion-libraryassertionsgo

PESecurity

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

PowerShell624mit

3 months ago

PGPAuth_Android

Do $things over the internet, verified by PGP

Java43other

3 years ago

idris-ct

formally verified category theory library

Idris256agpl-3.0

4 years ago

category-theoryformal-proofsformal-verification

trufflehog

trufflehog

Find, verify, and analyze leaked credentials

Go17222agpl-3.0

4 hours ago

credentialsdevsecopsdynamic-analysis

verdi

A framework for formally verifying distributed systems implementations in Coq

Coq585bsd-2-clause

6 months ago

coqcoq-librarydistributed-systems

okta-awscli

okta-awscli

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

Python302apache-2.0

3 months ago

awsaws-cliboto

CertiGraph

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

Coq17mit

24 days ago

compcertcoqgraph-algorithms

gman

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

Ruby164mit

13 days ago

emailgovernment

gtree

gtree

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

Go211bsd-2-clause

6 months ago

clidirectorygolang

squishy_cookies

squishy_cookies

Easily sign and verify cookies

TypeScript15mit

2 years ago

cookiecookiesdeno

crypto-helper

crypto-helper

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

Rust32mit

8 days ago

asn1asn1-decoderasn1-der

every_door

every_door

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

Dart417isc

last month

fdroidflutteropenstreetmap

RootVerifier-APP

Source for my Android App - Root Verifier

Java46gpl-2.0

3 years ago

exrecaptcha

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

Elixir12wtfpl

9 years ago

showstopper

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

C++194mit

2 years ago

anti-debugmalwareresearch

clarity-bitcoin

Clarity library for parsing Bitcoin transactions and verifying Merkle proofs

Clarity17agpl-3.0

6 months ago

jscert

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

Coq196other

9 months ago

SLAyer

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

OCaml326other

8 years ago

ticket-check-action

Verify that pull request titles start with a ticket ID

TypeScript43mit

2 months ago

clubhousecompliancegithub-action

SwCrypt

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

Swift721mit

4 months ago

aesaes-gcmapple

vcfloat

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

Coq23lgpl-3.0

4 months ago

pr-lint-action

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

JavaScript75mit

last month

vue-authplugin

a simple Vue auth verify plugin.

JavaScript6mit

2 years ago

TelegramSwift

TelegramSwift

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

Swift4938gpl-2.0

3 months ago

rohd

rohd

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

Dart375bsd-3-clause

last month

frameworkhardwarehardware-design

kani

kani

Kani Rust Verifier

Rust2240apache-2.0

6 hours ago

model-checkingrustverification

preflight

preflight

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

Go151apache-2.0

2 years ago

devopsdevsecopsgolang

editorconfig-checker.php

editorconfig-checker.php

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

PHP64mit

last month

clean-codecode-qualitycodequality

owasp-mastg

owasp-mastg

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

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

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

Java6gpl-3.0

10 years ago

bUnit

bUnit

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

C#1141mit

7 days ago

blazorblazor-componentsbunit

etesync-notes

etesync-notes

Description EteSync is a secure and privacy respecting note taking applicatio

TypeScript88other

7 months ago

encryptionend-to-end-encryptionetebase

tutanota

tutanota

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

TypeScript6103gpl-3.0

9 hours ago

emailencryptionjavascript

Simple-Login-Android

Simple-Login-Android

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

Kotlin361other

4 months ago

LayoutKit

LayoutKit

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

Swift3164apache-2.0

4 years ago

ioslayout-enginelayoutkit