proxy.golang.org "verification" keyword
View the packages on the proxy.golang.org package registry that are tagged with the "verification" keyword.
Top 8.2% on proxy.golang.org
2 versions - Latest release: almost 8 years ago - 0 stars on GitHub
github.com/aisola/dangerous v0.1.1
It's a dangerous world out there.2 versions - Latest release: almost 8 years ago - 0 stars on GitHub
Top 8.2% on proxy.golang.org
13 versions - Latest release: 9 months ago - 7 stars on GitHub
github.com/bnkamalesh/verifier v0.3.5
Package verifier is used for validation & verification of email, sms etc.13 versions - Latest release: 9 months ago - 7 stars on GitHub
Top 1.4% on proxy.golang.org
38 versions - Latest release: about 2 months ago - 114 dependent packages - 70 dependent repositories - 1,111 stars on GitHub
github.com/gookit/validate v1.5.6
Package validate is a generic go data validate, filtering library. Source code and other details...38 versions - Latest release: about 2 months ago - 114 dependent packages - 70 dependent repositories - 1,111 stars on GitHub
Top 8.2% on proxy.golang.org
48 versions - Latest release: 13 days ago - 8,110 stars on GitHub
github.com/codenotary/immustore v1.10.0
immudb - immutable database based on zero trust, SQL and Key-Value, tamperproof, data change history48 versions - Latest release: 13 days ago - 8,110 stars on GitHub
Top 6.7% on proxy.golang.org
10 versions - Latest release: 10 months ago - 671 stars on GitHub
github.com/soupslurpr/AppVerifier v0.8.2
Verify apps easily.10 versions - Latest release: 10 months ago - 671 stars on GitHub
Top 2.0% on proxy.golang.org
12 versions - Latest release: about 1 year ago - 18 dependent packages - 16 dependent repositories - 654 stars on GitHub
github.com/AfterShip/email-verifier v1.4.1
:white_check_mark: A Go library for email verification without sending any emails.12 versions - Latest release: about 1 year ago - 18 dependent packages - 16 dependent repositories - 654 stars on GitHub
Top 0.9% on proxy.golang.org
48 versions - Latest release: 13 days ago - 36 dependent packages - 38 dependent repositories - 8,841 stars on GitHub
github.com/codenotary/immudb v1.10.0
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data ...48 versions - Latest release: 13 days ago - 36 dependent packages - 38 dependent repositories - 8,841 stars on GitHub
github.com/kamushadenes/cloud-verify v1.0.15 💰
Cryptographic attestation to verify if your application is running within a cloud environment.20 versions - Latest release: 6 months ago - 3 stars on GitHub
Top 8.2% on proxy.golang.org
2 versions - Latest release: almost 2 years ago - 649 stars on GitHub
github.com/furkansenharputlu/f-license v0.0.0-20231226120756-39451d08f7af
Open Source License Key Generation and Verification Tool written in Go2 versions - Latest release: almost 2 years ago - 649 stars on GitHub
Top 7.8% on proxy.golang.org
63 versions - Latest release: about 1 month ago - 2 dependent packages - 2 dependent repositories - 29 stars on GitHub
github.com/gnames/gnverifier v1.3.0
Copyright © 2020 Dmitry Mozzherin <dmozzherin@gmail.com> Permission is hereby granted, free of c...63 versions - Latest release: about 1 month ago - 2 dependent packages - 2 dependent repositories - 29 stars on GitHub
Top 5.6% on proxy.golang.org
17 versions - Latest release: 5 months ago - 47 stars on GitHub
github.com/noaa-oar-arl/MONET v2.3.0+incompatible
The Model and ObservatioN Evaluation Toolkit (MONET)17 versions - Latest release: 5 months ago - 47 stars on GitHub
Top 5.6% on proxy.golang.org
17 versions - Latest release: 5 months ago - 47 stars on GitHub
github.com/noaa-oar-arl/monet v2.3.0+incompatible
The Model and ObservatioN Evaluation Toolkit (MONET)17 versions - Latest release: 5 months ago - 47 stars on GitHub
Top 5.6% on proxy.golang.org
15 versions - Latest release: about 2 months ago - 9 stars on GitHub
github.com/LIVVkit/LIVVkit v3.2.0+incompatible
Land Ice Verification & Validation Toolkit15 versions - Latest release: about 2 months ago - 9 stars on GitHub
Top 5.6% on proxy.golang.org
15 versions - Latest release: about 2 months ago - 9 stars on GitHub
github.com/livvkit/livvkit v3.2.0+incompatible
Land Ice Verification & Validation Toolkit15 versions - Latest release: about 2 months ago - 9 stars on GitHub
Top 6.7% on proxy.golang.org
54 versions - Latest release: over 1 year ago - 241 stars on GitHub
github.com/zilliqa/scilla v2.0.0+incompatible
Scilla - A Smart Contract Intermediate Level Language54 versions - Latest release: over 1 year ago - 241 stars on GitHub
Top 8.2% on proxy.golang.org
201 versions - Latest release: 3 days ago - 731 stars on GitHub
github.com/pact-foundation/pact_broker v2.117.0+incompatible 💰
Enables your consumer driven contracts workflow201 versions - Latest release: 3 days ago - 731 stars on GitHub
Top 5.6% on proxy.golang.org
11 versions - Latest release: 4 months ago - 236 stars on GitHub
github.com/xarray-contrib/xskillscore v0.0.27
Metrics for verifying forecasts11 versions - Latest release: 4 months ago - 236 stars on GitHub
Top 7.7% on proxy.golang.org
1 version - Latest release: almost 5 years ago - 2 dependent packages - 1 dependent repositories - 16 stars on GitHub
github.com/shayanh/grpc-go-contracts v0.0.0-20201108104125-141436f382d7
Verify the communication of your microservices by writing contracts for your RPCs1 version - Latest release: almost 5 years ago - 2 dependent packages - 1 dependent repositories - 16 stars on GitHub
Top 8.2% on proxy.golang.org
1 version - Latest release: over 7 years ago - 1,049 stars on GitHub
github.com/trumail/trumail v0.0.0-20180615002037-5bf27f7ac60a
:email: :white_check_mark: A Fast and Free Email Verification API written in Go1 version - Latest release: over 7 years ago - 1,049 stars on GitHub
Top 6.7% on proxy.golang.org
54 versions - Latest release: over 1 year ago - 241 stars on GitHub
github.com/Zilliqa/scilla v2.0.0+incompatible
Scilla - A Smart Contract Intermediate Level Language54 versions - Latest release: over 1 year ago - 241 stars on GitHub
Top 6.7% on proxy.golang.org
98 versions - Latest release: 18 days ago - 500 stars on GitHub
github.com/in-toto/witness v0.10.1
Witness is a pluggable framework for software supply chain risk management. It automates, normal...98 versions - Latest release: 18 days ago - 500 stars on GitHub
Top 5.2% on proxy.golang.org
130 versions - Latest release: about 3 years ago - 162 stars on GitHub
github.com/accordproject/ergo v0.24.0 💰
Programming Language for Smart Legal Contracts130 versions - Latest release: about 3 years ago - 162 stars on GitHub
Top 5.8% on proxy.golang.org
10 versions - Latest release: over 7 years ago - 550 stars on GitHub
github.com/vlsi-eda/poc v1.2.0
IP Core Library - Published and maintained by the Chair for VLSI Design, Diagnostics and Architec...10 versions - Latest release: over 7 years ago - 550 stars on GitHub
Top 8.2% on proxy.golang.org
1 version - Latest release: over 3 years ago - 0 stars on GitHub
github.com/whois-api-llc/go-email-verifier v1.0.0
Email Verification API client library for Go1 version - Latest release: over 3 years ago - 0 stars on GitHub
Top 6.7% on proxy.golang.org
7 versions - Latest release: almost 2 years ago - 1,962 stars on GitHub
github.com/OWASP/owasp-masvs v2.1.0+incompatible 💰
The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for ...7 versions - Latest release: almost 2 years ago - 1,962 stars on GitHub
Top 5.7% on proxy.golang.org
31 versions - Latest release: about 4 years ago - 440 stars on GitHub
github.com/smackers/smack v2.8.0+incompatible
SMACK Software Verifier and Verification Toolchain31 versions - Latest release: about 4 years ago - 440 stars on GitHub
Top 9.0% on proxy.golang.org
Latest release: 6 days ago - 2 stars on GitHub
github.com/christoffercarlsson/autograph
The Autograph protocolLatest release: 6 days ago - 2 stars on GitHub
Top 2.6% on proxy.golang.org
311 versions - Latest release: about 1 month ago - 1 dependent package - 1 dependent repositories - 22,732 stars on GitHub
github.com/trufflesecurity/trufflehog/v3 v3.90.8
Find, verify, and analyze leaked credentials311 versions - Latest release: about 1 month ago - 1 dependent package - 1 dependent repositories - 22,732 stars on GitHub
Top 5.8% on proxy.golang.org
20 versions - Latest release: about 2 months ago - 2,117 stars on GitHub
github.com/cocotb/cocotb v2.0.0+incompatible
cocotb: Python-based chip (RTL) verification20 versions - Latest release: about 2 months ago - 2,117 stars on GitHub
Top 7.7% on proxy.golang.org
5 versions - Latest release: almost 3 years ago - 3 stars on GitHub
github.com/duongdam/fire-verify-auth v1.0.1
Golang firebase middleware package, verify firebase accessToken5 versions - Latest release: almost 3 years ago - 3 stars on GitHub
Top 5.8% on proxy.golang.org
10 versions - Latest release: over 7 years ago - 550 stars on GitHub
github.com/VLSI-EDA/PoC v1.2.0
IP Core Library - Published and maintained by the Chair for VLSI Design, Diagnostics and Architec...10 versions - Latest release: over 7 years ago - 550 stars on GitHub
Top 5.2% on proxy.golang.org
314 versions - Latest release: 18 days ago - 22,732 stars on GitHub
github.com/trufflesecurity/truffleHog/v3 v3.90.11
Find, verify, and analyze leaked credentials314 versions - Latest release: 18 days ago - 22,732 stars on GitHub
Top 8.2% on proxy.golang.org
1 version - Latest release: almost 4 years ago - 22,732 stars on GitHub
github.com/trufflesecurity/trufflehog v3.0.0-rc3+incompatible
Find, verify, and analyze leaked credentials1 version - Latest release: almost 4 years ago - 22,732 stars on GitHub
Top 8.2% on proxy.golang.org
2 versions - Latest release: about 5 years ago - 17 stars on GitHub
github.com/southbanksoftware/proofable-image v0.1.1
Build trust into your image by creating a blockchain certificate for it2 versions - Latest release: about 5 years ago - 17 stars on GitHub
Top 8.2% on proxy.golang.org
2 versions - Latest release: about 5 years ago - 17 stars on GitHub
github.com/SouthbankSoftware/proofable-image v0.1.1
Build trust into your image by creating a blockchain certificate for it2 versions - Latest release: about 5 years ago - 17 stars on GitHub
Top 7.4% on proxy.golang.org
21 versions - Latest release: almost 2 years ago - 101 stars on GitHub
github.com/stefanprokopdev/verify-apple-id-token v3.1.2+incompatible
Verify the Apple id token on the server side.21 versions - Latest release: almost 2 years ago - 101 stars on GitHub
github.com/davidmytton/url-verifier v1.0.1
SPDX-License-Identifier: MIT Package urlverifier is a Go library for URL validation and verifica...6 versions - Latest release: almost 2 years ago - 8 dependent packages - 2 dependent repositories - 0 stars on GitHub
Top 6.7% on proxy.golang.org
11 versions - Latest release: about 1 month ago - 2 stars on GitHub
github.com/sthagen/csaf v2025.10.2+incompatible
Common Security Advisory Framework (CSAF) Verification, Validation, and Application Programming I...11 versions - Latest release: about 1 month ago - 2 stars on GitHub
Top 9.7% on proxy.golang.org
6 versions - Latest release: almost 2 years ago - 8,841 stars on GitHub
github.com/codenotary/immudb/test/document_storage_tests/documents_tests v0.0.0-20231229191836-65a25a5b71de
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data ...6 versions - Latest release: almost 2 years ago - 8,841 stars on GitHub
Top 9.5% on proxy.golang.org
Latest release: 12 days ago - 8,841 stars on GitHub
github.com/codenotary/immudb/tools/mkdb
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data ...Latest release: 12 days ago - 8,841 stars on GitHub
Top 5.6% on proxy.golang.org
1 version - Latest release: 5 months ago - 8,841 stars on GitHub
github.com/codenotary/immudb/v2 v2.0.0-RC1
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data ...1 version - Latest release: 5 months ago - 8,841 stars on GitHub
Top 9.7% on proxy.golang.org
3 versions - Latest release: almost 2 years ago - 8,841 stars on GitHub
github.com/codenotary/immudb/test/columns v0.0.0-20231229191836-65a25a5b71de
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data ...3 versions - Latest release: almost 2 years ago - 8,841 stars on GitHub
Top 9.9% on proxy.golang.org
6 versions - Latest release: almost 2 years ago - 8,841 stars on GitHub
github.com/codenotary/immudb/test/e2e/truncation v0.0.0-20231229191836-65a25a5b71de
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data ...6 versions - Latest release: almost 2 years ago - 8,841 stars on GitHub
Top 5.8% on proxy.golang.org
7 versions - Latest release: almost 7 years ago - 2,150 stars on GitHub
github.com/leanprover/lean v3.4.2+incompatible
Lean Theorem Prover7 versions - Latest release: almost 7 years ago - 2,150 stars on GitHub
Top 7.0% on proxy.golang.org
1 version - Latest release: almost 5 years ago - 16 stars on GitHub
github.com/shayanh/grpc-go-contracts/examples/mynote v0.0.0-20201108104125-141436f382d7
Verify the communication of your microservices by writing contracts for your RPCs1 version - Latest release: almost 5 years ago - 16 stars on GitHub
Top 6.7% on proxy.golang.org
7 versions - Latest release: almost 2 years ago - 1,962 stars on GitHub
github.com/owasp/owasp-masvs v2.1.0+incompatible 💰
The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for ...7 versions - Latest release: almost 2 years ago - 1,962 stars on GitHub
Top 9.6% on proxy.golang.org
21 versions - Latest release: 3 months ago - 443 stars on GitHub
github.com/intel/rohd v0.6.6
The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying ...21 versions - Latest release: 3 months ago - 443 stars on GitHub
Top 5.8% on proxy.golang.org
9 versions - Latest release: 10 months ago - 45 stars on GitHub
github.com/intel/rohd-vf v0.6.0
The ROHD Verification Framework is a hardware verification framework built upon ROHD for building...9 versions - Latest release: 10 months ago - 45 stars on GitHub
Top 5.5% on proxy.golang.org
5 versions - Latest release: almost 3 years ago - 470 stars on GitHub
github.com/princetonuniversity/vst v2.11.1+incompatible
Verified Software Toolchain5 versions - Latest release: almost 3 years ago - 470 stars on GitHub
Top 5.5% on proxy.golang.org
5 versions - Latest release: almost 3 years ago - 470 stars on GitHub
github.com/PrincetonUniversity/VST v2.11.1+incompatible
Verified Software Toolchain5 versions - Latest release: almost 3 years ago - 470 stars on GitHub
Top 3.7% on proxy.golang.org
2 versions - Latest release: about 5 years ago - 1,766 stars on GitHub
github.com/project-everest/hacl-star v0.3.0
HACL*, a formally verified cryptographic library written in F*2 versions - Latest release: about 5 years ago - 1,766 stars on GitHub
Top 8.0% on proxy.golang.org
10 versions - Latest release: over 6 years ago - 1 dependent repositories - 12 stars on GitHub
github.com/DE-labtory/heimdall v1.0.0
Simple library that keeps your data secure through signing and verification 🔑10 versions - Latest release: over 6 years ago - 1 dependent repositories - 12 stars on GitHub
Top 5.6% on proxy.golang.org
25 versions - Latest release: 6 months ago - 2,507 stars on GitHub
github.com/tlaplus/tlaplus v1.8.0 💰
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.25 versions - Latest release: 6 months ago - 2,507 stars on GitHub
Top 5.9% on proxy.golang.org
14 versions - Latest release: over 1 year ago - 3 dependent packages - 2 dependent repositories - 33 stars on GitHub
github.com/mit-pdos/go-journal v0.5.4
Verified, concurrent, crash-safe transaction system14 versions - Latest release: over 1 year ago - 3 dependent packages - 2 dependent repositories - 33 stars on GitHub
Top 8.2% on proxy.golang.org
2 versions - Latest release: almost 7 years ago - 26 stars on GitHub
github.com/bmuschko/link-verifier v0.6.2
A tool for verifying links in text-based files2 versions - Latest release: almost 7 years ago - 26 stars on GitHub
Top 6.6% on proxy.golang.org
8 versions - Latest release: 4 months ago - 243 stars on GitHub
github.com/86maid/ddddocr v5.0.0+incompatible
ddddocr rust 版本，ocr_api_server rust 版本，二进制版本，验证码识别，不依赖 opencv 库，跨平台运行，AI MCP 支持，a simple OCR API ...8 versions - Latest release: 4 months ago - 243 stars on GitHub
Top 4.6% on proxy.golang.org
55 versions - Latest release: 2 months ago - 3,176 stars on GitHub
github.com/dafny-lang/dafny v4.11.0+incompatible
Dafny is a verification-aware programming language55 versions - Latest release: 2 months ago - 3,176 stars on GitHub
Top 6.6% on proxy.golang.org
Latest release: 14 days ago - 137 stars on GitHub
github.com/viperproject/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastr...Latest release: 14 days ago - 137 stars on GitHub
Top 6.8% on proxy.golang.org
6 versions - Latest release: almost 3 years ago - 16 stars on GitHub
github.com/getyoti/yoti-go-sdk/examples v2.3.1+incompatible
The Go SDK for interacting with the Yoti Platform6 versions - Latest release: almost 3 years ago - 16 stars on GitHub
Top 6.6% on proxy.golang.org
4 versions - Latest release: about 4 years ago - 23 stars on GitHub
github.com/go-air/reach v0.1.3 💰
Package reach contains finite state symbolic reachability libraries and tools. All reachability ...4 versions - Latest release: about 4 years ago - 23 stars on GitHub
Top 6.3% on proxy.golang.org
8 versions - Latest release: over 6 years ago - 14 stars on GitHub
github.com/getyoti/go v2.3.1+incompatible
The Go SDK for interacting with the Yoti Platform8 versions - Latest release: over 6 years ago - 14 stars on GitHub
Top 8.8% on proxy.golang.org
2 versions - Latest release: almost 3 years ago - 0 stars on GitHub
github.com/go-compile/mim v1.0.0
MIM is a Hash Visualization algorithm utilising 4x4 colour matrixes. This provides a quick and ea...2 versions - Latest release: almost 3 years ago - 0 stars on GitHub
Top 9.6% on proxy.golang.org
58 versions - Latest release: about 1 month ago - 1,065 stars on GitHub
github.com/informalsystems/quint v0.29.0
An executable specification language with delightful tooling based on the temporal logic of acti...58 versions - Latest release: about 1 month ago - 1,065 stars on GitHub
Top 8.2% on proxy.golang.org
10 versions - Latest release: over 6 years ago - 12 stars on GitHub
github.com/de-labtory/heimdall v1.0.0
Simple library that keeps your data secure through signing and verification 🔑10 versions - Latest release: over 6 years ago - 12 stars on GitHub
Top 6.5% on proxy.golang.org
86 versions - Latest release: 8 months ago - 1 dependent repositories - 33 stars on GitHub
github.com/pact-foundation/pact-provider-verifier v1.39.1
Cross-platform, generic language, Pact provider verification tool86 versions - Latest release: 8 months ago - 1 dependent repositories - 33 stars on GitHub
Top 5.5% on proxy.golang.org
Latest release: 16 days ago - 4 stars on GitHub
github.com/notaryproject/ratify-go
Package ratify provides core functionality for the ratify library.Latest release: 16 days ago - 4 stars on GitHub
Top 5.8% on proxy.golang.org
20 versions - Latest release: about 2 months ago - 1,940 stars on GitHub
github.com/potentialventures/cocotb v2.0.0+incompatible
cocotb: Python-based chip (RTL) verification20 versions - Latest release: about 2 months ago - 1,940 stars on GitHub
Top 6.3% on proxy.golang.org
314 versions - Latest release: 18 days ago - 16,014 stars on GitHub
github.com/dxa4481/truffleHog/v3 v3.90.11
Find, verify, and analyze leaked credentials314 versions - Latest release: 18 days ago - 16,014 stars on GitHub
Top 5.6% on proxy.golang.org
5 versions - Latest release: 5 months ago - 11 stars on GitHub
github.com/thirdkeyai/schemapin v1.1.4
The SchemaPin protocol for cryptographically signing and verifying AI agent tool schemas to preve...5 versions - Latest release: 5 months ago - 11 stars on GitHub
Top 7.5% on proxy.golang.org
Latest release: 17 days ago - 11 stars on GitHub
github.com/ThirdKeyAi/schemapin/go
The SchemaPin protocol for cryptographically signing and verifying AI agent tool schemas to preve...Latest release: 17 days ago - 11 stars on GitHub
Top 5.6% on proxy.golang.org
5 versions - Latest release: 5 months ago - 11 stars on GitHub
github.com/ThirdKeyAi/schemapin v1.1.4
The SchemaPin protocol for cryptographically signing and verifying AI agent tool schemas to preve...5 versions - Latest release: 5 months ago - 11 stars on GitHub
Top 5.6% on proxy.golang.org
127 versions - Latest release: over 2 years ago - 784 stars on GitHub
github.com/vunit/vunit v4.7.0+incompatible
VUnit is a unit testing framework for VHDL/SystemVerilog127 versions - Latest release: over 2 years ago - 784 stars on GitHub
Top 5.5% on proxy.golang.org
4 versions - Latest release: over 6 years ago - 4 dependent repositories - 263 stars on GitHub
github.com/storozhukBM/verifier v1.2.0
Package verifier provides simple defensive programing primitives.4 versions - Latest release: over 6 years ago - 4 dependent repositories - 263 stars on GitHub
Top 5.6% on proxy.golang.org
127 versions - Latest release: over 2 years ago - 784 stars on GitHub
github.com/VUnit/vunit v4.7.0+incompatible
VUnit is a unit testing framework for VHDL/SystemVerilog127 versions - Latest release: over 2 years ago - 784 stars on GitHub
Top 6.3% on proxy.golang.org
311 versions - Latest release: about 1 month ago - 16,014 stars on GitHub
github.com/dxa4481/trufflehog/v3 v3.90.8
Find, verify, and analyze leaked credentials311 versions - Latest release: about 1 month ago - 16,014 stars on GitHub
Top 8.2% on proxy.golang.org
10 versions - Latest release: 11 months ago - 3 stars on GitHub
github.com/teran/checksum v0.8.8
SHA256 file verification for consistency check purposes10 versions - Latest release: 11 months ago - 3 stars on GitHub
Top 6.7% on proxy.golang.org
3 versions - Latest release: almost 3 years ago - 5,316 stars on GitHub
github.com/mockk/mockk v1.13.4 💰
mocking library for Kotlin3 versions - Latest release: almost 3 years ago - 5,316 stars on GitHub
Top 2.3% on proxy.golang.org
17 versions - Latest release: about 2 months ago - 203 dependent packages - 257 dependent repositories - 88 stars on GitHub
github.com/vbatts/go-mtree v0.6.0 💰
File systems verification utility and library, in likeness of mtree(8)17 versions - Latest release: about 2 months ago - 203 dependent packages - 257 dependent repositories - 88 stars on GitHub
Top 9.0% on proxy.golang.org
Latest release: 20 days ago - 2 stars on GitHub
github.com/christoffercarlsson/autograph/go
The Autograph protocolLatest release: 20 days ago - 2 stars on GitHub
github.com/clcert/vdf v0.0.0-20230913135146-444032e0b0e1
Exploring VDF proposals and implementations - CC5905 Trabajo Dirigido2 versions - Latest release: about 2 years ago - 1 dependent repositories - 2 stars on GitHub
Top 5.8% on proxy.golang.org
45 versions - Latest release: over 1 year ago - 231 stars on GitHub
github.com/ucb-bar/chiseltest v6.0.0+incompatible
The batteries-included testing and formal verification library for Chisel-based RTL designs.45 versions - Latest release: over 1 year ago - 231 stars on GitHub
Top 5.6% on proxy.golang.org
31 versions - Latest release: over 2 years ago - 385 stars on GitHub
github.com/epfl-lara/stainless v0.9.8
Verification framework and tool for higher-order Scala programs31 versions - Latest release: over 2 years ago - 385 stars on GitHub
Top 6.7% on proxy.golang.org
3 versions - Latest release: over 7 years ago - 540 stars on GitHub
github.com/simonepri/upash v1.0.2
🔒Unified API for password hashing algorithms3 versions - Latest release: over 7 years ago - 540 stars on GitHub
Top 8.2% on proxy.golang.org
4 versions - Latest release: over 6 years ago - 263 stars on GitHub
github.com/storozhukbm/verifier v1.2.0
Package verifier provides simple defensive programing primitives.4 versions - Latest release: over 6 years ago - 263 stars on GitHub
Top 9.6% on proxy.golang.org
16 versions - Latest release: over 3 years ago - 53 stars on GitHub
github.com/querycert/qcert v2.2.0+incompatible
Compilation and Verification of Data-Centric Languages16 versions - Latest release: over 3 years ago - 53 stars on GitHub
Top 7.3% on proxy.golang.org
31 versions - Latest release: 10 months ago - 20 stars on GitHub
github.com/joemiller/yk-attest-verify v0.2.18
Verify and assert policy on YubiKey attestation certificates31 versions - Latest release: 10 months ago - 20 stars on GitHub
Top 5.4% on proxy.golang.org
2 versions - Latest release: 12 months ago - 0 stars on GitHub
github.com/AndrewCopeland/go-emaildetective v1.0.1
Client Library for EmailDetective.io2 versions - Latest release: 12 months ago - 0 stars on GitHub
Top 5.6% on proxy.golang.org
3 versions - Latest release: over 1 year ago - 148 stars on GitHub
github.com/chiselverify/chiselverify v0.4.0
A dynamic verification library for Chisel.3 versions - Latest release: over 1 year ago - 148 stars on GitHub
Top 8.2% on proxy.golang.org
2 versions - Latest release: about 4 years ago - 3 stars on GitHub
github.com/chtjonas/starsign v1.0.0
Create and verify digital signatures using your ssh-agent2 versions - Latest release: about 4 years ago - 3 stars on GitHub
Top 7.2% on proxy.golang.org
Latest release: 23 days ago - 1 stars on GitHub
github.com/alextanhongpin/passwordless
Passwordless services for golang projectsLatest release: 23 days ago - 1 stars on GitHub
Top 5.4% on proxy.golang.org
2 versions - Latest release: 12 months ago - 0 stars on GitHub
github.com/andrewcopeland/go-emaildetective v1.0.1
Client Library for EmailDetective.io2 versions - Latest release: 12 months ago - 0 stars on GitHub
Top 2.7% on proxy.golang.org
25 versions - Latest release: about 4 years ago - 19 dependent packages - 85 dependent repositories - 141 stars on GitHub
github.com/go-air/gini v1.0.4 💰
Package gini provides a fast SAT solver. Package gini contains both libraries and commands. The...25 versions - Latest release: about 4 years ago - 19 dependent packages - 85 dependent repositories - 141 stars on GitHub
Top 5.6% on proxy.golang.org
5 versions - Latest release: about 3 years ago - 139 stars on GitHub
github.com/camfort/camfort v1.2.0
Light-weight verification and transformation tools for Fortran5 versions - Latest release: about 3 years ago - 139 stars on GitHub
Top 7.8% on proxy.golang.org
1 version - Latest release: about 3 years ago - 11 stars on GitHub
github.com/gocrazygh/mail-checker v0.0.0-20221020042155-d3e1bed6c53b
Mail Checker a fast extractor of domain email records1 version - Latest release: about 3 years ago - 11 stars on GitHub
Top 5.6% on proxy.golang.org
24 versions - Latest release: about 2 months ago - 0 stars on GitHub
github.com/guilt/gsum v0.2.3
gsum is a versatile command-line hashing tool written in Go, supporting a wide range of cryptogra...24 versions - Latest release: about 2 months ago - 0 stars on GitHub
Top 5.6% on proxy.golang.org
65 versions - Latest release: over 3 years ago - 303 stars on GitHub
github.com/bark-simulator/bark v1.4.10
Open-Source Framework for Development, Simulation and Benchmarking of Behavior Planning Algorithm...65 versions - Latest release: over 3 years ago - 303 stars on GitHub
Top 9.5% on proxy.golang.org
2 versions - Latest release: almost 6 years ago - 9 dependent repositories - 4 stars on GitHub
github.com/tchajed/mailboat v0.2.0
Verified mail server2 versions - Latest release: almost 6 years ago - 9 dependent repositories - 4 stars on GitHub
Top 5.6% on proxy.golang.org
8 versions - Latest release: about 5 years ago - 77 stars on GitHub
github.com/PrincetonUniversity/ILAng v1.1.4
A Modeling and Verification Platform for SoCs using ILAs8 versions - Latest release: about 5 years ago - 77 stars on GitHub
Top 5.6% on proxy.golang.org
55 versions - Latest release: 3 months ago - 96 stars on GitHub
github.com/cda-tum/mqt-qcec v3.2.0+incompatible
MQT QCEC - A tool for Quantum Circuit Equivalence Checking55 versions - Latest release: 3 months ago - 96 stars on GitHub
Top 4.1% on proxy.golang.org
94 versions - Latest release: 6 months ago - 2 dependent packages - 1 dependent repositories - 253 stars on GitHub
github.com/testifysec/witness v0.9.2
Witness is a pluggable framework for software supply chain risk management. It automates, normal...94 versions - Latest release: 6 months ago - 2 dependent packages - 1 dependent repositories - 253 stars on GitHub
Related Keywords
go
31
golang
27
security
23
validation
13
cryptography
12
verify
11
security-tools
10
hacktoberfest
10
sql
10
database
9
merkle-tree
9
verifier
9
email
8
python
8
tamper-evident
7
tamperproof
7
timetravel
7
zero-trust
7
performance
7
pci-dss
7
credentials
7
key-value
7
immutable-database
7
immutable
7
gdpr
7
cryptographic
7
compliance
7
auditable
7
blockchain
7
identity
7
authentication
6
vhdl
6
login
6
protocol
6
testing
6
multifactor-authentication
6
rsa
5
signing
5
asic
5
aml
5
sdk
5
jwt
5
yoti
5
fpga
5
encryption
5
register
5
supply-chain
5
dynamic-analysis
5
precommit
5
scanning
5
secret
5
devsecops
5
coq
5
trufflehog
5
secret-management
5
secrets
5
2fa
5
formal-methods
5
proof
4
image
4
smart-contracts
4
crypto
4
simulation
4
email-verification
4
ai
4
mcp
4
visualization
3
checker
3
information-security
3
attestation
3
api
3
rpc
3
microservices
3
grpc
3
mcp-tools
3
design-by-contract
3
contracts
3
mcp-server
3
verilog
3
verilog-hdl
3
x509
3
proof-assistant
3
formal-verification
3
c
3
formal
3
validator
3
kotlin
3
mcp-client
3
disposable
3
smtp
3
synthesis
3
ssh
3
agent
3
agents
3
ed25519
3
ai-agents
3
ai-tools
3
supplychain
3
tools
3
cybersecurity
3