Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 10 Proof Open Source Projects

Open source projects categorized as Proof
Categories  > Frameworks  > Proof
Edit Category
frohoff/ysoserial ⭐ 7,002
A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization.
dependent packages 0 total releases 0 most recent commit over 2 years ago
lhartikk/naivechain ⭐ 5,028
A blockchain implementation in 200 lines of code
dependent packages 0 total releases 0 most recent commit about 6 years ago
LumaTeam/Luma3DS ⭐ 4,664
Noob-proof (N)3DS "Custom Firmware"
dependent packages 0 total releases 0 most recent commit over 2 years ago
matter-labs/awesome-zero-knowledge-proofs ⭐ 4,603
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
dependent packages 0 total releases 0 most recent commit about 2 years ago
coq/coq ⭐ 4,501
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
dependent packages 0 total releases 0 most recent commit about 2 years ago
matter-labs/zksync ⭐ 3,774
zkSync: trustless scaling and privacy engine for Ethereum
dependent packages 0 total releases 0 most recent commit about 2 years ago
Jeiwan/blockchain_go ⭐ 3,165
A simplified blockchain implementation in Golang
dependent packages 0 total releases 0 most recent commit over 4 years ago
google/security-research ⭐ 2,723
This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.
dependent packages 0 total releases 0 most recent commit about 2 years ago
decrypto-org/blockchain-papers ⭐ 1,708
A curated list of academic blockchain-related papers
dependent packages 0 total releases 0 most recent commit almost 6 years ago
alecmuffett/real-world-onion-sites ⭐ 1,471
This is a list of substantial, commercial-or-social-good mainstream websites which provide onion services.
dependent packages 0 total releases 0 most recent commit about 2 years ago
Get A Weekly Email With Trending Proof Projects
No Spam. Unsubscribe easily at any time.
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2026 Awesome Open Source.  All rights reserved.