Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Proof Open Source Projects

Open source projects categorized as Proof
Categories > Frameworks > Proof
Mvp Pox Client ⭐ 251
Ethernity Cloud Client
most recent commit a year ago
Rdpinception ⭐ 248
A proof of concept for the RDP Inception Attack
most recent commit 7 years ago
Utreexo ⭐ 246
accumulator for bitcoin utxo set
dependent packages 2total releases 16most recent commit 2 years ago
Poly Commit ⭐ 246
A Rust library for polynomial commitments
dependent packages 11total releases 3most recent commit 3 months agocargo ark-poly-commit} Downloads
Latte ⭐ 245
LaTTe : a Laboratory for Type Theory experiments (in clojure)
total releases 14most recent commit 5 months ago
Chainweb Node ⭐ 245
Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput
most recent commit 3 months ago
Lambdapi ⭐ 241
Proof assistant based on the λΠ-calculus modulo rewriting
most recent commit 3 months ago
Go Multiaddr ⭐ 241
Composable and future-proof network addresses
dependent packages 1,426total releases 52most recent commit 3 months ago
Coqtail ⭐ 233
Interactive Coq Proofs in Vim
most recent commit 6 months ago
Awesome Coq ⭐ 232
A curated list of awesome Coq frameworks, libraries and software.
most recent commit 3 months ago
Proof ⭐ 226
Secure Authentication for Single Page Applications
total releases 4most recent commit 7 years ago
Xena ⭐ 221
Lean Library currently studying for a degree at Imperial College
most recent commit 10 months ago
Photosphere ⭐ 219
Photosphere -- THIS IS A PROOF OF CONCEPT. NO SUPPORT IS GIVEN
most recent commit 9 years ago
Statproofbook.github.io ⭐ 219
The Book of Statistical Proofs
most recent commit 3 months ago
Inflatabledonkey ⭐ 217
iOS9+ iCloud backup retrieval proof of concept
most recent commit 4 years ago
Sml Redprl ⭐ 214
The People's Refinement Logic
most recent commit 4 years ago
Address Spoofing Poc ⭐ 213
Chrome address spoofing vulnerability proof-of-concept for HTTPS. (Original by David Leo.)
most recent commit 9 years ago
Open Rarity ⭐ 213
Reference implementation of the OpenRarity protocol with Python.
most recent commit 7 months ago
Idris Vim ⭐ 212
Idris mode for vim
most recent commit 5 years ago
Cur ⭐ 212
A less devious proof assistant
most recent commit a year ago
Act ⭐ 211
Smart contract specification language
most recent commit 3 months ago
Swiftedit ⭐ 209
A proof-of-concept editor, written in Swift, that supports Swift syntax highlighting using SourceKit.
most recent commit 6 years ago
Gotrade ⭐ 205
A proof of concept of an electronic trading system written in Golang
total releases 1most recent commit 5 years ago
The 10 Most Depended On Proof Open Source Projects
Rify ⭐ 8
RDF fact prover and proof validator operating on simple conjunctive rules.
dependent packages 2total releases 9latest release April 23, 2021most recent commit a year agonpm rify} Downloads
Undertaker Common Tasks ⭐ 6
Proof-of-concept custom registry that pre-defines tasks.
dependent packages 2total releases 3latest release June 28, 2022most recent commit a year agonpm undertaker-common-tasks} Downloads
Serverless Plugin Simulate ⭐ 127
This is a proof of concept to see if we can replicate Amazon API Gateway using docker images to run lambda
dependent packages 2total releases 11latest release April 14, 2017most recent commit 5 years agonpm serverless-plugin-simulate} Downloads
Pizza Party ⭐ 7
Proof-of-concept npm worm
dependent packages 2total releases 2latest release April 27, 2016most recent commit 8 years agonpm pizza-party} Downloads
Proofable ⭐ 8
General purpose proving framework for certifying digital assets to public blockchains
dependent packages 2total releases 21latest release December 21, 2020most recent commit 2 years agonpm proofable} Downloads
Packetcrypt ⭐ 50
Bandwidth-hard proof of work
dependent packages 2total releases 1latest release March 12, 2019most recent commit 3 years agonpm packetcrypt} Downloads
Bootstrap Dark ⭐ 137
The Definitive Guide to Dark Mode and Bootstrap 4 - A proof of concept
dependent packages 2total releases 2latest release October 29, 2021most recent commit 2 years agonpm bootstrap-dark-4} Downloads
Mm0 ⭐ 280
Metamath Zero specification language
dependent packages 2total releases 2latest release June 18, 2021most recent commit 3 months agocargo mm0_deepsize_derive} Downloads
Utreexo ⭐ 246
accumulator for bitcoin utxo set
dependent packages 2total releases 16latest release April 23, 2021most recent commit 2 years ago
The 10 Latest Releases In Proof Open Source Projects
Godoh ⭐ 719
🕳 godoh - A DNS-over-HTTPS C2
dependent packages 1total releases 3latest release January 24, 2021most recent commit 4 months ago
Openzkp ⭐ 561
OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.
dependent packages 8total releases 4latest release December 24, 2020most recent commit a year agocargo zkp-u256} Downloads
Proofable ⭐ 8
General purpose proving framework for certifying digital assets to public blockchains
dependent packages 2total releases 21latest release December 21, 2020most recent commit 2 years agonpm proofable} Downloads
Vrf Solidity ⭐ 22
Verifiable Random Function (VRF) library written in Solidity
dependent packages 1total releases 5latest release December 04, 2020most recent commit 3 years agonpm vrf-solidity} Downloads
Miner ⭐ 16
Proof of Concept Arionum Miner
latest release November 20, 2020most recent commit 5 years ago
Vrf ⭐ 10
basic code for verifiable random function and simple cryptographic sortition
total releases 2latest release November 19, 2020most recent commit 3 years ago
Privacyjs ⭐ 6
Javascript lib for building transaction in privacy mode - Tomochain
total releases 36latest release November 13, 2020most recent commit 3 years ago
Sign And Verify ⭐ 5
dependent packages 2total releases 1latest release November 08, 2020most recent commit 7 months agonpm @digitalcredentials/sign-and-verify} Downloads
Popular Frameworks Categories
Laravel
Django
Ruby On Rails
Spring
Express
Spring Boot
Flask
Nextjs
Play Framework
Symfony
Categories
Privacy | About | Terms | Follow Us On Twitter

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

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