Explore Projects
Discover 67 open source projects
Showing 1-20 of 67 projects
trufflesecurity/trufflehog
Secret scanning tool for leaked credentials
auth0/node-jsonwebtoken
An open-source library for generating and verifying JSON Web Tokens (JWT) in Node.js applications.
OWASP/mastg
A comprehensive guide for mobile app security testing and reverse engineering.
jwtk/jjwt
A Java library for creating and verifying JSON Web Tokens (JWT) for authentication and authorization.
codenotary/immudb
An immutable database based on zero trust, with SQL/Key-Value/Document model, tamperproof and data change history.
reacherhq/check-if-email-exists
A Rust library and HTTP backend for validating email addresses without sending any emails.
leanprover/lean4
Lean 4 is a programming language and theorem prover for building verified software.
hfiref0x/UACME
This is a C-based tool for bypassing Windows User Account Control (UAC) security features.
jpadilla/pyjwt
A Python library for creating and verifying JSON Web Tokens (JWT) used for authentication and authorization.
rocq-prover/rocq
An interactive theorem prover for writing and verifying mathematical definitions and algorithms.
ProvableHQ/leo
A programming language for formally verified, zero-knowledge applications
PrimeIntellect-ai/verifiers
A Python library for reinforcement learning environments and evaluations targeted at AI-focused developers.
google/trillian
A highly scalable and cryptographically verifiable data store for certificate transparency.
Pimzino/claude-code-spec-workflow
An automated workflow for developing new features and fixing bugs in Claude Code, a platform for AI-powered coding tools.
idris-lang/Idris-dev
Idris is a dependently typed functional programming language that can be used for building robust, verified software.
VerifyTests/Verify
Verify is a C# snapshot testing tool that simplifies the assertion of complex data models and documents.
NAalytics/Assemblies-of-putative-SARS-CoV2-spike-encoding-mRNA-sequences-for-vaccines-BNT-162b2-and-mRNA-1273
An open-source project that provides experimental sequence information for the RNA components of the Moderna and Pfizer/BioNTech COVID-19 vaccines.
SWE-agent/mini-swe-agent
100-line Python agent for GitHub issues
model-checking/kani
Kani is a Rust-based model checker that helps developers verify the correctness of their Rust programs.
nsubstitute/NSubstitute
NSubstitute is a .NET mocking library that simplifies unit testing by providing a friendly API for creating, configuring, and verifying mocks.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.