Explore Projects
Discover 102 open source projects
Showing 41-60 of 102 projects
scipr-lab/libsnark
A C++ library for zkSNARKs, a type of zero-knowledge proof system.
google/security-research-pocs
A repository of security proof-of-concept codes created by the Google Security Team.
starkware-libs/cairo
Cairo is a Turing-complete language for creating provable programs for general computation.
StefanoCecere/awesome-opensource-unity
A curated list of open-source Unity packages for game developers to build future-proof games.
kozmer/log4j-shell-poc
A proof-of-concept for exploiting the critical CVE-2021-44228 vulnerability in the Log4j logging library.
lockedbyte/CVE-2021-40444
This repository contains a proof of concept for the CVE-2021-40444 vulnerability.
pwnall/chromeview
A proof of concept Android WebView implementation based on Chromium code
opensec-cn/kunpeng
An open-source Golang-based POC framework/library for quickly developing vulnerability detection systems.
datawhalechina/key-book
A comprehensive resource for understanding the theoretical foundations of machine learning, with detailed proofs, examples, and references.
leanprover-community/mathlib3
A formal mathematics library for the Lean theorem prover, focused on building verified proofs.
tevador/RandomX
RandomX is a proof-of-work algorithm based on random code execution, suitable for CPU mining of cryptocurrencies.
xairy/kernel-exploits
A collection of proof-of-concept exploits for the Linux kernel, focused on privilege escalation.
teorth/analysis
A Lean companion library for Analysis I, focused on building mathematical proofs and reasoning.
angea/pocorgtfo
A collection of 'Proof of Concept or GTFO' articles and magazines for hackers and security researchers.
inference-labs-inc/zkml-blueprints
Mathematical formulations and circuit designs for zero-knowledge proofs.
srid/neuron
A future-proof note-taking and publishing tool built on the Zettelkasten system, written in Haskell.
corkami/pocs
A collection of proof-of-concept code samples for various file formats and system internals.
scottyab/secure-preferences
Android library that provides a secure way to store sensitive data in shared preferences with encryption.
creusot-rs/creusot
Creusot helps developers prove their Rust code is correct using automated formal verification.
plfa/plfa.github.io
An introduction to programming language theory and Agda, a dependently-typed functional programming language.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.