Explore Projects
Discover 88 open source projects
Showing 21-40 of 88 projects
Authenticator-Extension/Authenticator
Authenticator generates 2-step verification codes in your browser as a browser extension.
RobotLocomotion/drake
Drake is a C++ library for model-based design and verification of robotics systems.
p-org/P
The P programming language, a formal methods-focused language for building distributed, event-driven systems
kerlomz/captcha_trainer
This open-source Python library is a training platform for building deep learning models to recognize captchas.
Ignitetch/AdvPhishing
A phishing tool for testing and learning about OTP verification processes
zzw922cn/awesome-speech-recognition-speech-synthesis-papers
A comprehensive collection of research papers on automatic speech recognition, speech synthesis, and related topics.
NASA-SW-VnV/ikos
A static analyzer for C/C++ based on Abstract Interpretation, useful for software verification and validation.
FStarLang/FStar
F* is a proof-oriented programming language that supports dependent types, SMT solving, and verification.
model-checking/kani
Kani is a Rust-based model checker that helps developers verify the correctness of their Rust programs.
LSPosed/CorePatch
Android security patching framework that disables signature verification for system modifications
modelscope/3D-Speaker
A library for single- and multi-modal speaker verification, recognition, and diarization.
Narasimha1997/fake-sms
A Go-based CLI tool to generate temporary phone numbers for bypassing SMS verification.
rubysec/bundler-audit
Open-source Ruby library that checks installed gems for known vulnerabilities
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+, a formal specification language.
zerodytrash/Simple-YouTube-Age-Restriction-Bypass
A simple browser extension to bypass YouTube's age verification and watch age-restricted videos.
ballerine-io/ballerine
An open-source infrastructure and data orchestration platform for risk decisioning, compliance, and identity verification.
OWASP/masvs
The OWASP MASVS is the industry standard for mobile app security verification and testing.
pact-foundation/pact-ruby
Enables consumer-driven contract testing for Ruby projects with a mock service, DSL, and verification tools.
leanprover/lean3
Lean Theorem Prover is a programming language and theorem prover focused on dependent types and formal verification.
sarperavci/CloudflareBypassForScraping
A Python script that bypasses Cloudflare's verification to enable web scraping.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.