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
over 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
over 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
over 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
over 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
about 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
over 2 years ago
Get A Weekly Email With Trending Proof Projects
No Spam. Unsubscribe easily at any time.
Proof
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
