Explore Projects
Discover 67 open source projects
Showing 21-40 of 67 projects
agda/agda
Agda is a dependently typed programming language and interactive theorem prover for building robust, verified software.
PastKing/tgbot-verify
Automated authentication tool for SheerID platform using Python Telegram Bot
sjlleo/netflix-verify
A script to check if your network can access Netflix's native content.
joaomatosf/jexboss
JexBoss is a tool to verify and exploit Java deserialization vulnerabilities in JBoss and other Java applications.
patrickfav/uber-apk-signer
A CLI tool to sign and verify Android application packages (APKs) with debug or release certificates.
DirectoryLister/DirectoryLister
An open-source PHP library that makes it easy to expose the contents of any web-accessible folder for browsing and sharing.
PHPGangsta/GoogleAuthenticator
A PHP library for generating and verifying Google Authenticator 2-factor authentication codes.
loong/go-concurrency-exercises
Hands-on exercises with real-life examples to study and practice Go concurrency patterns.
Zokrates/ZoKrates
A toolbox for building zkSNARKs (zero-knowledge Succinct Non-Interactive Argument of Knowledge) on Ethereum.
hacl-star/hacl-star
HACL* is a formally verified cryptographic library written in the F* programming language, focused on security and high-performance.
vvb2060/KeyAttestation
A Java library for key attestation, which is used to verify the integrity of cryptographic keys.
hashicorp/go-version
A Go library for parsing and verifying versions and version constraints.
viperproject/prusti-dev
A static verifier for Rust based on the Viper verification infrastructure.
fthomas/refined
A Scala library that provides refinement types, enabling developers to express and verify complex constraints.
xyzeva/k-id-age-verifier
TypeScript bot for automated age verification across Discord, Twitch, Kick, and Quora.
leanprover-community/mathlib3
A formal mathematics library for the Lean theorem prover, focused on building verified proofs.
succinctlabs/sp1
A zero-knowledge VM for verifying RISC-V program execution, focused on blockchain and Ethereum applications.
zetzit/zz
A Rust-based tool for verifying and transpiling code to bare-metal C for low-level programming and systems development.
javiersantos/PiracyChecker
An Android library that prevents app piracy using Google Play Licensing, APK signature protection, and more.
google/keytransparency
A transparent and secure way to look up public keys for encryption, authentication, and more.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.