pin-tweet-to-ipfs
Web extension to Save tweets in a verifiable way to IPFS
JavaScript25mit
8 months ago
chrome-extensionipfstwitter
ebpf-verifier
eBPF verifier based on abstract interpretation
C++369mit
3 months ago
abstract-interpretationebpfebpf-verifier
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
Phone verification service built using: AWS cdk, api gateway, dotnet, lambda, dy
C#7
2 years ago
api-gatewayawsaws-cdk
truemail-go
🚀 Configurable Golang 📨 email validator/verifier. Verify email via Regex, DNS,
Go95mit
8 months ago
dnsdns-validationdns-validator
xdl-generation
CLAIRify: Errors are Useful Prompts: Instruction Guided Task Programming with Ve
JavaScript40mit
2 months ago
language-modelplanningrobot
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
sigaws
An Elixir library to sign and verify HTTP requests using AWS Signature V4
Elixir11mit
3 years ago
authenticationaws-signatureelixir-library
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
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
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
Using either Markdown or Programmatically to generate trees🌳 and directories📁,
Go211bsd-2-clause
6 months ago
clidirectorygolang
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
Description The best app for on-the-ground surveying for OpenStreetMap! Add s
Dart417isc
last month
fdroidflutteropenstreetmap
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
TelegramSwift
Description Pure instant messaging â simple, fast, secure, and synced acros
Swift4938gpl-2.0
3 months ago
rohd
The Rapid Open Hardware Development (ROHD) framework is a framework for describi
Dart375bsd-3-clause
last month
frameworkhardwarehardware-design
preflight
preflight helps you verify scripts and executables to mitigate chain of supply a
Go151apache-2.0
2 years ago
devopsdevsecopsgolang
editorconfig-checker.php
A tool to verify that your files are in harmony with your .editorconfig
PHP64mit
last month
clean-codecode-qualitycodequality
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 is a testing library for Blazor components that make tests look, feel, and
C#1141mit
7 days ago
blazorblazor-componentsbunit
tutanota
Description PROTECT YOUR PRIVACY WITH TUTA MAIL FOR FREE: SECURE, PRIVATE AND
TypeScript6103gpl-3.0
9 hours ago
emailencryptionjavascript
Simple-Login-Android
Description Tired of spam and being tracked online through your personal emai
Kotlin361other
4 months ago
LayoutKit
Description Welcome professionals! The key to getting in is getting started.
Swift3164apache-2.0
4 years ago
ioslayout-enginelayoutkit
pin-tweet-to-ipfs
Web extension to Save tweets in a verifiable way to IPFS
JavaScript25mit
8 months ago
chrome-extensionipfstwitter
ebpf-verifier
eBPF verifier based on abstract interpretation
C++369mit
3 months ago
abstract-interpretationebpfebpf-verifier
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
Phone verification service built using: AWS cdk, api gateway, dotnet, lambda, dy
C#7
2 years ago
api-gatewayawsaws-cdk
truemail-go
🚀 Configurable Golang 📨 email validator/verifier. Verify email via Regex, DNS,
Go95mit
8 months ago
dnsdns-validationdns-validator
xdl-generation
CLAIRify: Errors are Useful Prompts: Instruction Guided Task Programming with Ve
JavaScript40mit
2 months ago
language-modelplanningrobot
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
sigaws
An Elixir library to sign and verify HTTP requests using AWS Signature V4
Elixir11mit
3 years ago
authenticationaws-signatureelixir-library
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
idris-ct
formally verified category theory library
Idris256agpl-3.0
4 years ago
category-theoryformal-proofsformal-verification
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
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
Using either Markdown or Programmatically to generate trees🌳 and directories📁,
Go211bsd-2-clause
6 months ago
clidirectorygolang
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
Description The best app for on-the-ground surveying for OpenStreetMap! Add s
Dart417isc
last month
fdroidflutteropenstreetmap
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
TelegramSwift
Description Pure instant messaging â simple, fast, secure, and synced acros
Swift4938gpl-2.0
3 months ago
rohd
The Rapid Open Hardware Development (ROHD) framework is a framework for describi
Dart375bsd-3-clause
last month
frameworkhardwarehardware-design
preflight
preflight helps you verify scripts and executables to mitigate chain of supply a
Go151apache-2.0
2 years ago
devopsdevsecopsgolang
editorconfig-checker.php
A tool to verify that your files are in harmony with your .editorconfig
PHP64mit
last month
clean-codecode-qualitycodequality
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 is a testing library for Blazor components that make tests look, feel, and
C#1141mit
7 days ago
blazorblazor-componentsbunit
etesync-notes
Description EteSync is a secure and privacy respecting note taking applicatio
TypeScript88other
7 months ago
encryptionend-to-end-encryptionetebase
tutanota
Description PROTECT YOUR PRIVACY WITH TUTA MAIL FOR FREE: SECURE, PRIVATE AND
TypeScript6103gpl-3.0
9 hours ago
emailencryptionjavascript
Simple-Login-Android
Description Tired of spam and being tracked online through your personal emai
Kotlin361other
4 months ago
LayoutKit
Description Welcome professionals! The key to getting in is getting started.
Swift3164apache-2.0
4 years ago
ioslayout-enginelayoutkit