Explore Projects
Discover 102 open source projects
Showing 81-100 of 102 projects
michaljaz/webmc
A proof-of-concept Minecraft client written in JavaScript that runs in the browser and supports offline 1.16.5 mode.
merkletreejs/merkletreejs
Construct Merkle Trees and verify proofs in JavaScript for blockchain and smart contract applications.
ybdt/exp-hub
A proof-of-concept and experimentation hub for vibe coders building with AI tools.
mgeeky/ThreadStackSpoofer
Proof of Concept for an advanced in-memory evasion technique to hide injected shellcode from scanners.
Ekultek/BlueKeep
Proof of concept for CVE-2019-0708, a critical remote code execution vulnerability in Microsoft's Remote Desktop Protocol (RDP).
jxy-s/herpaderping
A C++ tool for bypassing security products by obscuring the intentions of a process.
0xMarcio/cve
A Python library providing the latest CVEs with their Proof of Concept exploits.
chvancooten/follina.py
A proof-of-concept tool to demonstrate the Follina Office RCE vulnerability for testing purposes.
n0b0dyCN/redis-rogue-server
A proof-of-concept server demonstrating a remote code execution vulnerability in Redis versions up to 5.0.5.
ycdxsb/PocOrExp_in_Github
A Python tool that automatically collects Proof of Concept (POC) or Exploit (EXP) from GitHub based on CVE IDs.
yyx990803/vue-lit
Proof of concept for creating custom web components using Vue.js and Lit library
nexus-xyz/nexus-cli
A command-line interface for supplying proofs to the Nexus network, a cryptography-focused project.
huggingface/Math-Verify
A Python library for verifying mathematical proofs using natural language processing.
DawnFlame/POChouse
A repository containing proof-of-concept projects, experiments, and security resources for developers.
formal-land/rocq-of-rust
A formal verification tool for Rust that checks 100% of execution cases to ensure safe applications.
1n7erface/PocList
A collection of proof-of-concept exploits for various software vulnerabilities, primarily focused on Java-based applications.
mostafatouny/awesome-theoretical-computer-science
A curated list of awesome resources on theoretical computer science, focused on math and logic techniques.
ziesha-network/bazuka
Rust implementation of the Ziesha protocol, a blockchain focused on zero-knowledge proofs and scalability.
gnolang/gno
Gno: A Go-based blockchain and VM for building composable, decentralized applications.
semaphore-protocol/semaphore
A zero-knowledge protocol for anonymous interactions, built with TypeScript and used in Ethereum applications.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.