Go package captcha implements generation and verification of image and audio CAPTCHAs.
- captcha
- image-captcha
- go
- audio-captchas
Repository Index
47,133 repositories indexed
25–48 of 101 · Most stars
:mailbox: Cross-language temporary (disposable/throwaway) email detection library. Covers 55 734+ fake email providers.
- email-validation
- email-verification
:white_check_mark: A Go library for email verification without sending any emails.
Translated⚔ Go package for data validation and filtering. support Map, Struct, Form data. A general-purpose Go library for data validation and filtering, simple to use, with most commonly used validators and filters built in, and support for custom validators, custom messages, and field translation.
- validation
- validator
- filter
- govalidator
JVM version of Pact. Enables consumer driven contract testing, providing a mock service and DSL for the consumer project, and interaction playback and verification for the service provider project.
- pact
- consumer-driven-contracts
- contract-testing
- hacktoberfest
Verify that the PowerPoint you are about to deliver is exactly the PPTX that passed QA—locally, offline, and with tamper-evident evidence.
- artifact-integrity
- pptx
- python
- supply-chain-security
pure-python ECDSA signature/verification and ECDH key agreement
- python
- elliptic-curves
- cryptography
- digital-signatures
Source code verification service for Ethereum smart contracts
- verification
- ethereum
- smart-contracts
- solidity
FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproducible evaluation.
- accuracy-decline
- ai-safety
- audit-trail
- fact-checking
A Claude skill that activates Fable-style agentic behavior: explicit multi-stage planning, sub-agent delegation, and self-verification.
PHP package built for Laravel to easily handle a user email verification and validate the email
- laravel
- user-verification
- email-verification
- user-validation
:speaker: Deep Learning & 3D Convolutional Neural Networks for Speaker Verification
- convolutional-neural-networks
- deep-learning
- speaker-recognition
- 3d
Smart contracts which are formally verified
ObjectivePGP is an open-source library for iOS and macOS that provides developers with tools for implementing OpenPGP encryption and decryption, digital signing, and signature verification in their applications, thereby enhancing security and data integrity.
- openpgp
- objective-c
- encryption
- pgp
Reading and Validating In App Purchase Receipt Locally.
Cosette is an automated SQL solver.
Autonomous development for real products. Governed agents build from specs you approve, follow the rules you set, and nothing merges until another agent proves it. Your decisions, judgement and taste are the bar that work must clear. Declare your vision and let agents build it.
Witness is a pluggable framework for software supply chain risk management. It automates, normalizes, and verifies software artifact provenance.
- security-tools
- security
- attestation
- verification
K Semantics of the Ethereum Virtual Machine (EVM)
Generator of runtime monitors for flight and robotics applications.
- assurance
- autonomy
- cfs
- embedded-systems
🔒Unified API for password hashing algorithms
The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.
- hardware
- verification
- hdl
- simulator
SDK for growing mobile in-app purchases
- ios
- purchases
- iap
- sdk
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.