Awesome Open Source
Awesome Open Source
Combined Topics
proof
x
Advertising
📦 9
All Projects
Application Programming Interfaces
📦 120
Applications
📦 181
Artificial Intelligence
📦 72
Blockchain
📦 70
Build Tools
📦 111
Cloud Computing
📦 79
Code Quality
📦 28
Collaboration
📦 30
Command Line Interface
📦 48
Community
📦 81
Companies
📦 60
Compilers
📦 60
Computer Science
📦 74
Configuration Management
📦 39
Content Management
📦 167
Control Flow
📦 197
Data Formats
📦 77
Data Processing
📦 266
Data Storage
📦 132
Economics
📦 60
Frameworks
📦 198
Games
📦 122
Graphics
📦 103
Hardware
📦 148
Integrated Development Environments
📦 47
Learning Resources
📦 147
Legal
📦 28
Libraries
📦 119
Lists Of Projects
📦 21
Machine Learning
📦 336
Mapping
📦 61
Marketing
📦 15
Mathematics
📦 55
Media
📦 228
Messaging
📦 97
Networking
📦 304
Operating Systems
📦 84
Operations
📦 120
Package Managers
📦 52
Programming Languages
📦 229
Runtime Environments
📦 96
Science
📦 42
Security
📦 375
Social Media
📦 26
Software Architecture
📦 70
Software Development
📦 68
Software Performance
📦 57
Software Quality
📦 127
Text Editors
📦 45
Text Processing
📦 131
User Interface
📦 310
User Interface Components
📦 465
Version Control
📦 29
Virtualization
📦 68
Web Browsers
📦 38
Web Servers
📦 25
Web User Interface
📦 194
The Top 129 Proof Open Source Projects on Github
Categories
>
Frameworks
>
Proof
Cryptominisat
⭐
553
An advanced SAT solver
Verdi
⭐
508
A framework for formally verifying distributed systems implementations in Coq
Chronicle
⭐
449
Public append-only ledger microservice built with Slim Framework
Agda Stdlib
⭐
420
The Agda standard library
L4v
⭐
382
seL4 specification and proofs
Vst
⭐
301
Verified Software Toolchain
Merkle Patricia Tree
⭐
274
Project is in active development and has been moved to the EthereumJS VM monorepo.
Creusot
⭐
228
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Bootstrap Dark 5
⭐
173
The Ancillary Guide to Dark Mode and Bootstrap 5 - A continuation of the v4 Dark Mode POC
Verdi Raft
⭐
151
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
Iron
⭐
121
Coq formalizations of functional languages.
Bootstrap Dark
⭐
115
The Definitive Guide to Dark Mode and Bootstrap 4 - A proof of concept
Disel
⭐
84
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Tokenlibs With Proofs
⭐
71
Correctness proofs of Ethereum token contracts
Haal
⭐
69
Hääl - Anonymous Electronic Voting System on Public Blockchains
Generic Syntax
⭐
65
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Gapt
⭐
63
GAPT: General Architecture for Proof Theory
Keymaerax Release
⭐
53
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Vulcan
⭐
51
A JavaScript propositional logic and resolution library
Psl
⭐
50
Chainpoint Cli
⭐
47
A Command Line Interface (CLI) for creating and verifying Chainpoint proofs.
Examples
⭐
40
Examples of NuID's zero knowledge authentication and key management facilities in various languages and frameworks. Open an Issue or PR if you'd like to see your favorite tool here.
Diffy
⭐
36
🎞️💓🍿 Love streaming - It's always best to watch a movie together ! 🤗
Lets Prove Blocking Queue
⭐
33
Proving a blocking queue deadlock free in a dozen different ways
Lpl Solutions
⭐
33
Solutions for the book "Language Proof and Logic".
Ra
⭐
29
Basic Analysis, undergraduate real analysis textbook
Idris Insertion Sort
⭐
26
Provably correct implementation of insertion sort in Idris.
Precedence
⭐
24
precedence brings secure blockchain-powered traceability features to your already existing legacy information system
Blockchain
⭐
24
💪🔗 PoW Blockchain implementation in Typescript 💱
Brainstation
⭐
23
A small video game console for Arduino using the Brainduino interpreter
P2pow
⭐
22
A P2P Delegated Proof of Work solution for Nano cryptocurrency
Galilel
⭐
22
Galilel (GALI) Wallet Source Code
Holba
⭐
21
Binary analysis in HOL
Coq To Ocaml To Js
⭐
21
Proof of concept to generate safe and fast JavaScript
Planeverb
⭐
20
Project Planeverb is a CPU based real-time wave-based acoustics engine for games. It comes with an integration with the Unity Engine.
Cheerios
⭐
18
Formally verified Coq serialization library with support for extraction to OCaml
Fitchjs
⭐
18
Fitch style proof constructor
Ldp Bbs2020
⭐
18
A linked data proof suite specification for BBS+ signatures
Groth16batchverifier
⭐
17
Batch verification proposal for the zkSNARK verification with the same(!) circuit
Proofable Image
⭐
17
Build trust into your image by creating a blockchain certificate for it
Lpl
⭐
14
📚Solutions to Language, Proof and Logic (2nd Edition)
Imm
⭐
13
Intermediate Memory Model (IMM) and compilation correctness proofs for it
Infseqext
⭐
12
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
Quip
⭐
11
[wip] Proof format and checker for first-order and higher-order theorem provers
Embed Page
⭐
11
Proof of concept for Embeddable Progressive Application - a microapplication container, a WebComponent acting as seamless IFRAME or html include
Make A Blockchain
⭐
11
Build a Blockchain from Scratch (NodeJS).
Dblib Linear
⭐
10
Formalisation of the linear lambda calculus in Coq
Lensstateisyourfather
⭐
10
Lens, State is your father... and I can prove It!
Spat
⭐
10
SPARK Proof Analysis Tool
Ng2 In Multi Page Apps
⭐
9
Small proof-of-concept (POC) prototype of the usage of an Angular 2 app in multi-page applications.
Verdi Lockserv
⭐
9
An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
Avl Plus
⭐
9
AVL+ tree
Apxproof
⭐
8
LaTeX package for automatically putting proof environments in appendix
Vstyle
⭐
7
A style guide for Coq
Starling Tool
⭐
6
An automatic verifier for concurrent algorithms.
Mankatha Da
⭐
6
Tweet SHA256 version of your goals and crypto prove it once achieved.
Proofable
⭐
6
General purpose proving framework for certifying digital assets to public blockchains
Tyasta
⭐
5
A journey with F*
Spark Bitcoin Transaction Example
⭐
5
Example of Bitcoin transaction parsing with Ada/SPARK2014
Prooffold
⭐
5
Another attempt for visualizing proofs
Graph Refine
⭐
5
Responsive Svg Sprites
⭐
5
🚀 📐 Demonstration, example code and workflow blueprint for cross browser compatible responsive svg sprites
Mergesort
⭐
5
Merge sort correctness proof
Blockchain Python
⭐
5
This is a implementation of a basic blockchain structure in python, with all the description, and documentation of it's working and things.
Sperocoin
⭐
5
Sperocoin - Sustentabilidade em Tecnologia
Motive
⭐
4
A proof-of-concept library for motif analysis using MDL techniques.
Speedy Zero Knowledge
⭐
4
Prove someone has a piece of data with certainty using a fast challenge-response algorithm that does not disclose any piece of said data.
Ethereum Poe
⭐
4
Ethereum proof of existence
.net Code Injector
⭐
4
Proof of concept of .Net worms
Implicits.agda
⭐
4
Mechanized formalization of Implicit resolution in Agda
Cve 2016 9192
⭐
4
Proof of concept for CVE-2016-9192.
Keymaerax Projects
⭐
4
Projects, models, and proofs in KeYmaera X
Pypl
⭐
4
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Thesis
⭐
4
Compiling Concurrency Correctly—Verifying Software Transactional Memory
Poc Network Vpn Split Tunnel
⭐
4
Proof of Concept for VPN Split Tunnel using Docker Containers
Wudder Python Sdk
⭐
3
Wudder's Python SDK
Universe
⭐
3
Universe Project Limited
Crud Angular7
⭐
3
Proof of concept of a simple application doing CRUD operations. All orchestrated with ngrx (Redux)
Calculus Token With Proof
⭐
3
Seriallogger
⭐
3
Fail-proof, cross platform serial data logger with timestamp function
Security
⭐
3
The ElGamal encryption and proof components
Fitch System
⭐
3
Proof validation in Propositional Logic and its extensions with Jetbrains MPS and constraint rules
Chip
⭐
3
Change impact analysis in Coq and OCaml
Keymaera Release
⭐
3
Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
Linear
⭐
3
Linear Algebra Done...Lean
Confighub Illegal Evidence
⭐
2
Welcome to this collection of evidence against the confighub.host website and staff team. Here you can find everything from 12 year old kids who failed 4th grade 3 times to grown up men who have no other hobbies than ddossing random strangers, because their [redacted] is too small. - Enjoy your stay!
Sopot
⭐
2
DatabaseOfProofsEngine is a web application for students & researchers of math that are studying arrow-theoretic topics.
Api
⭐
2
Documentation on Proof's RESTful HTTP API.
Hancoinproject
⭐
2
hancoin project - the origin of the elastic masternode concept
Solidity Patricia Tree
⭐
2
Wrap patricia-trie implementation as a solidity library
Blueberry Pancakes
⭐
2
Sorting Blueberry Pancakes: A Toy Algorithms Problem
Maxixe
⭐
2
A simple proof checker
Icfp15 Coq Proofs
⭐
2
Proofs of correctness for "Partial Aborts for Software Transactional Memory" formalized in Coq
Quip Book
⭐
2
Book for Quip, a proof format for first-order and higher-order theorem provers
Coqtactic Injectfalse
⭐
2
Custom tactic named "ij_injectfalse" injects False into the hypothesis
Gradient Example
⭐
1
A moving gradient graphic made with css
Bakerstreet
⭐
1
A natural deduction helper for macOS
Botwtextgame
⭐
1
A proof of concept conversion of the entirety of Breath of the Wild into a text based game.
Website
⭐
1
The seL4.systems website
Math Playground
⭐
1
A GUI proof assistant
1-100 of 129 projects
Next >
Related Projects
Javascript Proof Projects (24)
Coq Proof Projects (22)
Advertising
📦 9
All Projects
Application Programming Interfaces
📦 120
Applications
📦 181
Artificial Intelligence
📦 72
Blockchain
📦 70
Build Tools
📦 111
Cloud Computing
📦 79
Code Quality
📦 28
Collaboration
📦 30
Command Line Interface
📦 48
Community
📦 81
Companies
📦 60
Compilers
📦 60
Computer Science
📦 74
Configuration Management
📦 39
Content Management
📦 167
Control Flow
📦 197
Data Formats
📦 77
Data Processing
📦 266
Data Storage
📦 132
Economics
📦 60
Frameworks
📦 198
Games
📦 122
Graphics
📦 103
Hardware
📦 148
Integrated Development Environments
📦 47
Learning Resources
📦 147
Legal
📦 28
Libraries
📦 119
Lists Of Projects
📦 21
Machine Learning
📦 336
Mapping
📦 61
Marketing
📦 15
Mathematics
📦 55
Media
📦 228
Messaging
📦 97
Networking
📦 304
Operating Systems
📦 84
Operations
📦 120
Package Managers
📦 52
Programming Languages
📦 229
Runtime Environments
📦 96
Science
📦 42
Security
📦 375
Social Media
📦 26
Software Architecture
📦 70
Software Development
📦 68
Software Performance
📦 57
Software Quality
📦 127
Text Editors
📦 45
Text Processing
📦 131
User Interface
📦 310
User Interface Components
📦 465
Version Control
📦 29
Virtualization
📦 68
Web Browsers
📦 38
Web Servers
📦 25
Web User Interface
📦 194
Privacy policy
"GitHub" is a registered trademark of GitHub, Inc. Awesome Open Source is not affiliated with GitHub.
