Awesome Open Source
Awesome Open Source
Combined Topics
proof x

The Top 5,833 Proof Open Source Projects

Categories > Frameworks > Proof
Ysoserial ⭐ 5,817
A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization.
most recent commit a month ago
Naivechain ⭐ 5,028
A blockchain implementation in 200 lines of code
most recent commit 3 years ago
Coq ⭐ 3,972
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 1total releases 4most recent commit 9 hours ago
Ethlist ⭐ 3,759
The Comprehensive Ethereum Reading List
most recent commit a month ago
Blockchain_go ⭐ 3,165
A simplified blockchain implementation in Golang
most recent commit a year ago
Pocsuite ⭐ 1,759
This project has stopped to maintenance, please to https://github.com/knownsec/pocsuite3 project.
total releases 42most recent commit a year ago
Tools ⭐ 1,742
Security and Hacking Tools, Exploits, Proof of Concepts, Shellcodes, Scripts.
most recent commit a month ago
Hsd ⭐ 1,710
Handshake Daemon & Full Node
dependent packages 16total releases 15most recent commit 18 hours agonpm hsd} Downloads
Blockchain Papers ⭐ 1,708
A curated list of academic blockchain-related papers
most recent commit 3 years ago
Zksync ⭐ 1,685
zkSync: trustless scaling and privacy engine for Ethereum
most recent commit 17 days ago
Zoom.js ⭐ 1,426
zoom in on any element in the DOM
most recent commit 5 years ago
Neuron ⭐ 1,424
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
most recent commit 2 months ago
Libsnark ⭐ 1,421
C++ library for zkSNARKs
most recent commit 8 months ago
Blockshell ⭐ 1,353
🎉 Minimal Blockchain Learning CLI
most recent commit 4 years ago
Security Research ⭐ 1,327
This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.
most recent commit a day ago
Learn Tt ⭐ 1,307
A collection of resources for learning type theory and type theory adjacent fields.
most recent commit 2 years ago
Kernel Exploits ⭐ 1,265
My proof-of-concept exploits for the Linux kernel
most recent commit 8 months ago
Real World Onion Sites ⭐ 1,259
This is a list of substantial, commercial-or-social-good mainstream websites which provide onion services.
most recent commit 15 hours ago
Blockchain Tutorial ⭐ 1,232
Write and publish your own blockchain in less than 200 lines of Go
most recent commit a year ago
Randomx ⭐ 1,181
Proof of work algorithm based on random code execution
most recent commit 2 days ago
Poc ⭐ 1,068
Proof of Concepts
most recent commit 2 days ago
Securitylab ⭐ 1,028
Resources related to GitHub Security Lab
most recent commit a day ago
Gaskit ⭐ 927
a git-backed issue tracker
most recent commit 9 years ago
Cve 2016 5195 ⭐ 877
CVE-2016-5195 (dirtycow/dirtyc0w) proof of concept for Android
most recent commit 2 years ago
Big Rig ⭐ 870
A proof-of-concept Performance Dashboard, CLI and Node module
most recent commit 6 years ago
Vue Lit ⭐ 817
Proof of concept custom elements "framework"
most recent commit 2 years ago
Bulletproofs ⭐ 782
A pure-Rust implementation of Bulletproofs using Ristretto.
total releases 2most recent commit 3 months ago
Cakeml ⭐ 781
CakeML: A Verified Implementation of ML
most recent commit 2 days ago
Routeros ⭐ 762
RouterOS Security Research Tooling and Proof of Concepts
most recent commit 2 days ago
Cuckoo ⭐ 753
a memory-bound graph-theoretic proof-of-work system
most recent commit a year ago
Blockchain ⭐ 752
A basic blockchain implementation written in Go
most recent commit 8 years ago
Rocketpool ⭐ 741
Decentralised Ethereum liquid staking protocol.
most recent commit 15 days ago
Windows Rce Exploits ⭐ 681
The exploit samples database is a repository for **RCE** (remote code execution) exploits and Proof-of-Concepts for **WINDOWS**, the samples are uploaded for education purposes for red and blue teams.
most recent commit 3 years ago
Cryptominisat ⭐ 669
An advanced SAT solver
dependent packages 2total releases 1most recent commit a month ago
Firo ⭐ 653
The privacy-focused cryptocurrency
most recent commit 11 days ago
Databank ⭐ 650
区块链技术相关的论文、文档
most recent commit 7 years ago
Arend ⭐ 622
The Arend Proof Assistant
most recent commit 5 days ago
Rxswift ⭐ 606
Proof-of-concept for implementing Rx primitives in Swift
most recent commit 8 years ago
Padbuster ⭐ 605
Automated script for performing Padding Oracle attacks
most recent commit a year ago
Creusot ⭐ 596
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
most recent commit 2 days ago
Gnark ⭐ 595
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
dependent packages 8total releases 106most recent commit 6 days ago
Frap ⭐ 574
Formal Reasoning About Programs
most recent commit 3 months ago
Eudyptula ⭐ 557
www.eudyptula-challenge.org
most recent commit 9 years ago
Cve 2015 7547 ⭐ 549
Proof of concept for CVE-2015-7547
most recent commit 7 years ago
Godoh ⭐ 548
🕳 godoh - A DNS-over-HTTPS C2
total releases 3most recent commit 5 months ago
Am I Affected By Meltdown ⭐ 547
Meltdown Exploit / Proof-of-concept / checks whether system is affected by Variant 3: rogue data cache load (CVE-2017-5754), a.k.a MELTDOWN.
most recent commit 5 years ago
Verdi ⭐ 538
A framework for formally verifying distributed systems implementations in Coq
most recent commit 6 days ago
Lets Prove Leftpad ⭐ 527
Proving leftpad correct in a dozen different ways
most recent commit 3 days ago
Aztec ⭐ 512
Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bount
dependent packages 8total releases 46most recent commit a year agonpm @aztec/dev-utils} Downloads
Brisk ⭐ 478
A proof of concept scripting library for Swift
most recent commit 2 years ago
Agda Stdlib ⭐ 474
The Agda standard library
total releases 3most recent commit 18 days ago
Jscoq ⭐ 465
A port of Coq to Javascript -- Run Coq in your Browser
total releases 23most recent commit 24 days ago
Creusat ⭐ 462
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
most recent commit 4 months ago
Off The Rip ⭐ 456
Downloads audio, artwork, and metadata from Soundcloud
dependent packages 1total releases 16most recent commit 7 years agonpm off-the-rip} Downloads
Chronicle ⭐ 449
Public append-only ledger microservice built with Slim Framework
total releases 18most recent commit 10 months ago
Libmacaroons ⭐ 449
Macaroons are flexible authorization credentials that support decentralized delegation, attenuation, and verification.
most recent commit 2 years ago
Mavsdk ⭐ 444
API and library for MAVLink compatible systems written in C++17
most recent commit 2 days ago
L4v ⭐ 443
seL4 specification and proofs
most recent commit 2 days ago
Keychaindump ⭐ 443
A proof-of-concept tool for reading OS X keychain passwords
most recent commit 4 years ago
Nkn ⭐ 439
Official Go implementation of NKN full node.
dependent packages 8total releases 76most recent commit 13 days ago
Rust Fil Proofs ⭐ 437
Proofs for Filecoin in Rust
dependent packages 9total releases 20most recent commit 14 days agocargo filecoin-hashers} Downloads
Winboxpoc ⭐ 431
Proof of Concept of Winbox Critical Vulnerability (CVE-2018-14847)
most recent commit 2 years ago
Pg ⭐ 428
This repo is the new home of Proof General
most recent commit 2 days ago
Shadergen ⭐ 410
Proof-of-concept library for generating HLSL, GLSL, and Metal shader code from C#,
most recent commit 2 years ago
Graviton ⭐ 406
Graviton Database: ZFS for key-value stores.
dependent packages 4total releases 1most recent commit 10 months ago
Spartan ⭐ 400
Spartan: High-speed zkSNARKs without trusted setup
total releases 10most recent commit a month ago
Openzkp ⭐ 396
OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.
dependent packages 8total releases 2most recent commit 10 months agocargo zkp-macros-decl} Downloads
Redteamccode ⭐ 391
Red Team C code repo
most recent commit 7 months ago
Coincoin ⭐ 377
Blockchain based cryptocurrency proof-of-concept in Elixir. Feedback welcome
most recent commit 5 years ago
Disclosures ⭐ 373
Zero-day and N-day security vulnerability notes, analysis, and proof-of-concepts
most recent commit 8 months ago
Microraiden ⭐ 372
total releases 16most recent commit 4 years ago
Coq Tricks ⭐ 371
Tricks you wish the Coq manual told you
most recent commit 8 months ago
Ethermint ⭐ 369
Ethermint is a scalable and interoperable Ethereum, built on Proof-of-Stake with fast-finality using the Cosmos SDK.
total releases 13most recent commit a year ago
Apple Tv ⭐ 358
A proof of concept Apple TV app to access on demand programmes from the BBC.
most recent commit 6 years ago
Vst ⭐ 353
Verified Software Toolchain
most recent commit 12 hours ago
Tautcoin ⭐ 353
An Experimental Proof Of Transaction Cryptocurrency
most recent commit 3 years ago
Certigrad ⭐ 346
Bug-free machine learning on stochastic computation graphs
most recent commit 4 years ago
Goedelgod ⭐ 342
Formalizations of Gödel's Ontological Proof of God's Existence
most recent commit 4 years ago
Cve 2018 7600 ⭐ 331
💀Proof-of-Concept for CVE-2018-7600 Drupal SA-CORE-2018-002
most recent commit 4 years ago
Friendly Challenge ⭐ 327
The widget and docs for the proof of work challenge used in Friendly Captcha. Protect your websites and online services from spam and abuse with Friendly Captcha, a privacy-first anti-bot solution.
total releases 52most recent commit 17 hours ago
Company Coq ⭐ 326
A Coq IDE build on top of Proof General's Coq mode
most recent commit 2 days ago
Cve 2016 0051 ⭐ 326
EoP (Win7) & BSoD (Win10) PoC for CVE-2016-0051 (MS-016)
most recent commit 7 years ago
Webbackgrounder ⭐ 322
Proof of concept of a web based background task manager that deals well with web farms/app shutdowns
dependent packages 1total releases 8most recent commit 2 years agonuget WebBackgrounder} Downloads
Incredible ⭐ 320
The Incredible Proof Machine
most recent commit a month ago
Java Geometry Expert ⭐ 318
Java Geometry Expert
most recent commit 2 years ago
Hash N Slash ⭐ 307
Proof of concept for converting any content into a domain name.
most recent commit 9 years ago
Libsnark Tutorial ⭐ 298
A zkSNARK tutorial and development environment
most recent commit 2 years ago
Teamviewer_permissions_hook_v1 ⭐ 296
A proof of concept injectable C++ dll, that uses naked inline hooking and direct memory modification to change your TeamViewer permissions.
most recent commit 5 years ago
Agda Categories ⭐ 291
A new Categories library for Agda
most recent commit 3 days ago
Esp32 Nesemu ⭐ 290
Proof-of-concept NES emulator for the ESP32
most recent commit 2 years ago
Merkle Patricia Tree ⭐ 287
Project is in active development and has been moved to the EthereumJS VM monorepo.
most recent commit 2 years ago
Libstark ⭐ 286
A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)
most recent commit 4 years ago
Mini Tor ⭐ 282
proof-of-concept implementation of tor protocol using Microsoft CNG/CryptoAPI
most recent commit 4 years ago
Coqgym ⭐ 279
A Learning Environment for Theorem Proving with the Coq proof assistant
most recent commit 6 months ago
Medikanren ⭐ 278
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
most recent commit 3 days ago
Flickr Store ⭐ 277
Store arbitrary data on Flickr
total releases 3most recent commit 10 years ago
Ethereum Formal Verification Overview ⭐ 269
The start page about my efforts around smart contract verification
most recent commit 3 years ago
Contrib ⭐ 269
Integrations, examples, and proof-of-concepts that are not part of OPA proper.
total releases 8most recent commit a month ago
Liburkel ⭐ 266
Authenticated key-value store (i.e. an urkel tree)
most recent commit 2 years ago
Chiapos ⭐ 263
Chia Proof of Space library
dependent packages 5total releases 62most recent commit 21 days agopypi chiapos} Downloads
1-100 of 5,833 projects
Categories
Advertising 📦 8
All Projects
Application Programming Interfaces 📦 107
Applications 📦 174
Artificial Intelligence 📦 69
Blockchain 📦 66
Build Tools 📦 105
Cloud Computing 📦 68
Code Quality 📦 24
Collaboration 📦 27
Command Line Interface 📦 38
Community 📦 79
Companies 📦 60
Compilers 📦 59
Computer Science 📦 73
Configuration Management 📦 37
Content Management 📦 153
Control Flow 📦 187
Data Formats 📦 72
Data Processing 📦 249
Data Storage 📦 116
Economics 📦 56
Frameworks 📦 178
Games 📦 110
Graphics 📦 92
Hardware 📦 137
Integrated Development Environments 📦 43
Learning Resources 📦 139
Legal 📦 24
Libraries 📦 117
Lists Of Projects 📦 19
Machine Learning 📦 313
Mapping 📦 57
Marketing 📦 15
Mathematics 📦 54
Media 📦 214
Messaging 📦 96
Networking 📦 292
Operating Systems 📦 72
Operations 📦 114
Package Managers 📦 50
Programming Languages 📦 173
Runtime Environments 📦 90
Science 📦 42
Security 📦 342
Social Media 📦 23
Software Architecture 📦 65
Software Development 📦 60
Software Performance 📦 53
Software Quality 📦 116
Text Editors 📦 40
Text Processing 📦 118
User Interface 📦 291
User Interface Components 📦 440
Version Control 📦 26
Virtualization 📦 63
Web Browsers 📦 35
Web Servers 📦 23
Web User Interface 📦 167
Top Programming Languages
Javascript  (1,116,272)
Python  (861,969)
Java  (403,413)
Php  (293,015)
Typescript  (282,082)
C Plus Plus  (251,576)
Ruby  (223,194)
C  (189,677)
Shell  (178,682)
C Sharp  (173,487)
Golang  (167,565)
Swift  (67,733)
Rust  (64,919)
R  (60,888)
Dart  (58,781)
Objective C  (57,049)
Kotlin  (51,078)
Lua  (37,002)
Matlab  (32,337)
Perl  (30,709)
Language  (29,926)
Scala  (29,124)
Haskell  (20,762)
Powershell  (19,942)
Clojure  (19,397)
Bash  (19,021)
Coffeescript  (17,177)
Elixir  (17,160)
Assembly  (15,210)
Julia  (13,634)
Processing  (13,291)
Basic  (10,683)
Emacs Lisp  (10,675)
Flow  (10,513)
Solidity  (9,537)
Erlang  (9,089)
Groovy  (8,514)
Scheme  (8,424)
Ocaml  (6,875)
Pascal  (6,694)
Hack  (6,549)
Lisp  (6,348)
Fortran  (5,736)
Elm  (5,541)
Common Lisp  (5,423)
Visual Basic  (4,960)
Dlang  (4,781)
Shell Script  (4,767)
Python Library  (4,494)
Crystal  (4,421)
Privacy | About | Terms | Follow Us On Twitter | Top Projects

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

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