code_signing
Elixir library for signing and verifying BEAM files with Ed25519 signatures
Elixir5mit
3 years ago
jsonassert
A Go test assertion library for verifying that two representations of JSON are s
Go117mit
2 months ago
assertion-libraryassertionsgo
ezcryptex
Thin layer on top of Cryptex for more easily encrypting/decrypting, signing/veri
Elixir0
9 years ago
verdi
A framework for formally verifying distributed systems implementations in Coq
Coq559bsd-2-clause
6 months ago
coqcoq-librarydistributed-systems
CertiGraph
A library for verifying graph-manipulating programs. Powered by Coq and VST. Com
Coq12mit
6 months ago
compcertcoqgraph-algorithms
vcfloat
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Co
Coq20lgpl-3.0
6 months ago
clarity-bitcoin
Clarity library for parsing Bitcoin transactions and verifying Merkle proofs
Clarity15agpl-3.0
5 months ago
clarity-bitcoin
Clarity library for parsing Bitcoin transactions and verifying Merkle proofs
Shell33agpl-3.0
3 years ago
PESecurity
PowerShell module to check if a Windows binary (EXE/DLL) has been compiled with
PowerShell611mit
2 years ago
rohd
The Rapid Open Hardware Development (ROHD) framework is a framework for describi
Dart297bsd-3-clause
6 months ago
frameworkhardwarehardware-design
cakephp-token-verify
CakePHP3: Easily issue tokens that can be used for mail authentication.
PHP9mit
4 years ago
cakephpcakephp-plugincakephp3
owasp-mastg
The Mobile Application Security Testing Guide (MASTG) is a comprehensive manual
Python11293cc-by-sa-4.0
4 days ago
androidandroid-applicationcompliancy-checklist
ebpf-verifier
eBPF verifier based on abstract interpretation
C++327mit
3 months ago
abstract-interpretationebpfebpf-verifier
Verify
Verify is a snapshot tool that simplifies the assertion of complex data models a
C#2251mit
3 months ago
assertion-librarysnapshotsnapshot-testing
every_door
Description This editor does not make you think. Just go to a mall, and start
Dart358isc
5 hours ago
fdroidflutteropenstreetmap
alexa-verifier-middleware
An express middleware that verifies HTTP requests sent to an Alexa skill are sen
JavaScript32mit
4 months ago
alexaalexa-skillalexa-verifier
Verify.Blazor
Support for rendering a Blazor Component to a verified file via bunit or raw Bla
C#31mit
4 months ago
blazorbunitsnapshot-testing
email-verifier
:white_check_mark: A Go library for email verification without sending any email
Go1027mit
3 months ago
disposableemailgo
vue-drag-verify
This is a vue component, which is sliding to unlock some functionalities, such a
Vue199mit
last year
aws-cdk-phone-verify-api
Phone verification service built using: AWS cdk, api gateway, dotnet, lambda, dy
C#7
last year
api-gatewayawsaws-cdk
truemail-go
🚀 Configurable Golang 📨 email validator/verifier. Verify email via Regex, DNS,
Go78mit
2 months ago
dnsdns-validationdns-validator
RecordFlux
Formal specification and generation of verifiable binary parsers, message genera
Ada95agpl-3.0
5 months ago
adabinary-parsercommunication-protocol
graviton
🧑🔬 verify your TEAL program by experiment and observation
Jupyter Notebook18mit
last year
algorandavmblockchain
RecordFlux
Formal specification and generation of verifiable binary parsers, message genera
Ada91agpl-3.0
last year
adabinary-parsercommunication-protocol
SXML
Formally verified, bounded-stack XML library
Ada19agpl-3.0
4 years ago
adaformal-methodsformal-verification
CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86
Ada75gpl-3.0
3 years ago
adaosspark
plug_sigaws
An Elixir Plug to verify HTTP requests signed with AWS Signature V4
Elixir0mit
7 years ago
authenticationaws-signatureelixir-plug
sigaws
An Elixir library to sign and verify HTTP requests using AWS Signature V4
Elixir11mit
3 years ago
authenticationaws-signatureelixir-library
idris-ct
formally verified category theory library
Idris248agpl-3.0
4 years ago
category-theoryformal-proofsformal-verification
djwt
Create and verify JSON Web Tokens (JWT) with Deno or the browser.
TypeScript180mit
last year
authenticationbrowserdeno
djwt
Create and verify JSON Web Tokens (JWT) with Deno or the browser.
TypeScript199mit
6 months ago
authenticationbrowserdeno
okta-awscli
Description Okta Verify is a lightweight app that is used to register your de
Python288apache-2.0
25 days ago
awsaws-cliboto
gman
A ruby gem to check if the owner of a given email address or website is working
Ruby158mit
4 months ago
emailgovernment
gtree
Using either Markdown or Programmatically to generate trees🌳 and directories📁,
Go184bsd-2-clause
2 months ago
clidirectorygolang
exrecaptcha
Simple reCaptcha display/verify code for Elixir applications. Using Exrecaptcha
Elixir11wtfpl
9 years ago
showstopper
ShowStopper is a tool for helping malware researchers explore and test anti-debu
C++187mit
2 years ago
anti-debugmalwareresearch
jscert
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpr
Coq193other
5 years ago
pin-tweet-to-ipfs
Web extension to Save tweets in a verifiable way to IPFS
JavaScript22mit
3 months ago
chrome-extensionipfstwitter
SLAyer
SLAyer is an automatic formal verification tool that uses separation logic to ve
OCaml321other
8 years ago
ticket-check-action
Verify that pull request titles start with a ticket ID
TypeScript38mit
18 days ago
clubhousecompliancegithub-action
google-token-erlang
Google ID token verifier for Erlang
Erlang3mit
6 years ago
erlanggoogle-authenticationgoogle-id-token
SwCrypt
RSA public/private key generation, RSA, AES encryption/decryption, RSA sign/veri
Swift718mit
last year
aesaes-gcmapple
verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq us
Coq175bsd-2-clause
6 months ago
consensuscoqdistributed-systems
pr-lint-action
A GitHub Action that verifies your pull request contains a reference to a Jira t
JavaScript71mit
6 months ago
wikitruth
A system aiming to solve fake news and propaganda through a vetting mechanism to
JavaScript11other
2 years ago
dialecticsdiscussionethics
preflight
preflight helps you verify scripts and executables to mitigate chain of supply a
Go149apache-2.0
last year
devopsdevsecopsgolang
editorconfig-checker.php
A tool to verify that your files are in harmony with your .editorconfig
PHP53mit
2 months ago
clean-codecode-qualitycodequality
spark-by-example
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
VTU CS Lab Manual aims at providing Lab Manual for Computer Science students of
Java6gpl-3.0
9 years ago
bUnit
bUnit is a testing library for Blazor components that make tests look, feel, and
C#1027mit
4 months ago
blazorblazor-componentsbunit
etesync-notes
Description EteSync is a secure and privacy respecting note taking applicatio
TypeScript81other
15 days ago
encryptionend-to-end-encryptionetebase
TelegramSwift
Description Pure instant messaging â simple, fast, secure, and synced acros
Swift4764gpl-2.0
2 months ago
OONI Probe
Are websites and social media apps blocked? Is your network unusually slow? Run
680bsd-3-clause
2 years ago
ooniprobe
Simple-Login-Android
Description Tired of spam and being tracked online through your personal emai
Kotlin312other
4 days ago
Yubico Authenticator
Store your unique credential on a hardware-backed security key and take it where
Kotlin236bsd-2-clause
last year
nfcoathtotp
LayoutKit
Description Welcome professionals! The key to getting in is getting started.
Swift3160apache-2.0
3 years ago
ioslayout-enginelayoutkit
jsonassert
A Go test assertion library for verifying that two representations of JSON are s
Go117mit
2 months ago
assertion-libraryassertionsgo
ezcryptex
Thin layer on top of Cryptex for more easily encrypting/decrypting, signing/veri
Elixir0
9 years ago
verdi
A framework for formally verifying distributed systems implementations in Coq
Coq559bsd-2-clause
6 months ago
coqcoq-librarydistributed-systems
CertiGraph
A library for verifying graph-manipulating programs. Powered by Coq and VST. Com
Coq12mit
6 months ago
compcertcoqgraph-algorithms
vcfloat
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Co
Coq20lgpl-3.0
6 months ago
clarity-bitcoin
Clarity library for parsing Bitcoin transactions and verifying Merkle proofs
Clarity15agpl-3.0
5 months ago
clarity-bitcoin
Clarity library for parsing Bitcoin transactions and verifying Merkle proofs
Shell33agpl-3.0
3 years ago
PESecurity
PowerShell module to check if a Windows binary (EXE/DLL) has been compiled with
PowerShell611mit
2 years ago
rohd
The Rapid Open Hardware Development (ROHD) framework is a framework for describi
Dart297bsd-3-clause
6 months ago
frameworkhardwarehardware-design
cakephp-token-verify
CakePHP3: Easily issue tokens that can be used for mail authentication.
PHP9mit
4 years ago
cakephpcakephp-plugincakephp3
owasp-mastg
The Mobile Application Security Testing Guide (MASTG) is a comprehensive manual
Python11293cc-by-sa-4.0
4 days ago
androidandroid-applicationcompliancy-checklist
ebpf-verifier
eBPF verifier based on abstract interpretation
C++327mit
3 months ago
abstract-interpretationebpfebpf-verifier
Verify
Verify is a snapshot tool that simplifies the assertion of complex data models a
C#2251mit
3 months ago
assertion-librarysnapshotsnapshot-testing
every_door
Description This editor does not make you think. Just go to a mall, and start
Dart358isc
5 hours ago
fdroidflutteropenstreetmap
alexa-verifier-middleware
An express middleware that verifies HTTP requests sent to an Alexa skill are sen
JavaScript32mit
4 months ago
alexaalexa-skillalexa-verifier
Verify.Blazor
Support for rendering a Blazor Component to a verified file via bunit or raw Bla
C#31mit
4 months ago
blazorbunitsnapshot-testing
email-verifier
:white_check_mark: A Go library for email verification without sending any email
Go1027mit
3 months ago
disposableemailgo
vue-drag-verify
This is a vue component, which is sliding to unlock some functionalities, such a
Vue199mit
last year
aws-cdk-phone-verify-api
Phone verification service built using: AWS cdk, api gateway, dotnet, lambda, dy
C#7
last year
api-gatewayawsaws-cdk
truemail-go
🚀 Configurable Golang 📨 email validator/verifier. Verify email via Regex, DNS,
Go78mit
2 months ago
dnsdns-validationdns-validator
RecordFlux
Formal specification and generation of verifiable binary parsers, message genera
Ada95agpl-3.0
5 months ago
adabinary-parsercommunication-protocol
graviton
🧑🔬 verify your TEAL program by experiment and observation
Jupyter Notebook18mit
last year
algorandavmblockchain
RecordFlux
Formal specification and generation of verifiable binary parsers, message genera
Ada91agpl-3.0
last year
adabinary-parsercommunication-protocol
SXML
Formally verified, bounded-stack XML library
Ada19agpl-3.0
4 years ago
adaformal-methodsformal-verification
CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86
Ada75gpl-3.0
3 years ago
adaosspark
plug_sigaws
An Elixir Plug to verify HTTP requests signed with AWS Signature V4
Elixir0mit
7 years ago
authenticationaws-signatureelixir-plug
sigaws
An Elixir library to sign and verify HTTP requests using AWS Signature V4
Elixir11mit
3 years ago
authenticationaws-signatureelixir-library
idris-ct
formally verified category theory library
Idris248agpl-3.0
4 years ago
category-theoryformal-proofsformal-verification
djwt
Create and verify JSON Web Tokens (JWT) with Deno or the browser.
TypeScript180mit
last year
authenticationbrowserdeno
djwt
Create and verify JSON Web Tokens (JWT) with Deno or the browser.
TypeScript199mit
6 months ago
authenticationbrowserdeno
okta-awscli
Description Okta Verify is a lightweight app that is used to register your de
Python288apache-2.0
25 days ago
awsaws-cliboto
gman
A ruby gem to check if the owner of a given email address or website is working
Ruby158mit
4 months ago
emailgovernment
gtree
Using either Markdown or Programmatically to generate trees🌳 and directories📁,
Go184bsd-2-clause
2 months ago
clidirectorygolang
exrecaptcha
Simple reCaptcha display/verify code for Elixir applications. Using Exrecaptcha
Elixir11wtfpl
9 years ago
showstopper
ShowStopper is a tool for helping malware researchers explore and test anti-debu
C++187mit
2 years ago
anti-debugmalwareresearch
jscert
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpr
Coq193other
5 years ago
pin-tweet-to-ipfs
Web extension to Save tweets in a verifiable way to IPFS
JavaScript22mit
3 months ago
chrome-extensionipfstwitter
SLAyer
SLAyer is an automatic formal verification tool that uses separation logic to ve
OCaml321other
8 years ago
ticket-check-action
Verify that pull request titles start with a ticket ID
TypeScript38mit
18 days ago
clubhousecompliancegithub-action
google-token-erlang
Google ID token verifier for Erlang
Erlang3mit
6 years ago
erlanggoogle-authenticationgoogle-id-token
SwCrypt
RSA public/private key generation, RSA, AES encryption/decryption, RSA sign/veri
Swift718mit
last year
aesaes-gcmapple
verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq us
Coq175bsd-2-clause
6 months ago
consensuscoqdistributed-systems
pr-lint-action
A GitHub Action that verifies your pull request contains a reference to a Jira t
JavaScript71mit
6 months ago
wikitruth
A system aiming to solve fake news and propaganda through a vetting mechanism to
JavaScript11other
2 years ago
dialecticsdiscussionethics
preflight
preflight helps you verify scripts and executables to mitigate chain of supply a
Go149apache-2.0
last year
devopsdevsecopsgolang
editorconfig-checker.php
A tool to verify that your files are in harmony with your .editorconfig
PHP53mit
2 months ago
clean-codecode-qualitycodequality
spark-by-example
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
VTU CS Lab Manual aims at providing Lab Manual for Computer Science students of
Java6gpl-3.0
9 years ago
bUnit
bUnit is a testing library for Blazor components that make tests look, feel, and
C#1027mit
4 months ago
blazorblazor-componentsbunit
etesync-notes
Description EteSync is a secure and privacy respecting note taking applicatio
TypeScript81other
15 days ago
encryptionend-to-end-encryptionetebase
TelegramSwift
Description Pure instant messaging â simple, fast, secure, and synced acros
Swift4764gpl-2.0
2 months ago
OONI Probe
Are websites and social media apps blocked? Is your network unusually slow? Run
680bsd-3-clause
2 years ago
ooniprobe
Simple-Login-Android
Description Tired of spam and being tracked online through your personal emai
Kotlin312other
4 days ago
Yubico Authenticator
Store your unique credential on a hardware-backed security key and take it where
Kotlin236bsd-2-clause
last year
nfcoathtotp
LayoutKit
Description Welcome professionals! The key to getting in is getting started.
Swift3160apache-2.0
3 years ago
ioslayout-enginelayoutkit