Awesome Open Source
Awesome Open Source
Combined Topics
proof
x
Advertising
📦 10
All Projects
Application Programming Interfaces
📦 124
Applications
📦 192
Artificial Intelligence
📦 78
Blockchain
📦 73
Build Tools
📦 113
Cloud Computing
📦 80
Code Quality
📦 28
Collaboration
📦 32
Command Line Interface
📦 49
Community
📦 83
Companies
📦 60
Compilers
📦 63
Computer Science
📦 80
Configuration Management
📦 42
Content Management
📦 175
Control Flow
📦 213
Data Formats
📦 78
Data Processing
📦 276
Data Storage
📦 135
Economics
📦 64
Frameworks
📦 215
Games
📦 129
Graphics
📦 110
Hardware
📦 152
Integrated Development Environments
📦 49
Learning Resources
📦 166
Legal
📦 29
Libraries
📦 129
Lists Of Projects
📦 22
Machine Learning
📦 347
Mapping
📦 64
Marketing
📦 15
Mathematics
📦 55
Media
📦 239
Messaging
📦 98
Networking
📦 315
Operating Systems
📦 89
Operations
📦 121
Package Managers
📦 55
Programming Languages
📦 245
Runtime Environments
📦 100
Science
📦 42
Security
📦 396
Social Media
📦 27
Software Architecture
📦 72
Software Development
📦 72
Software Performance
📦 58
Software Quality
📦 133
Text Editors
📦 49
Text Processing
📦 136
User Interface
📦 330
User Interface Components
📦 514
Version Control
📦 30
Virtualization
📦 71
Web Browsers
📦 42
Web Servers
📦 26
Web User Interface
📦 210
The Top 17 Proof Open Source Projects
Categories
>
Frameworks
>
Proof
Cryptominisat
⭐
539
An advanced SAT solver
Verdi
⭐
504
A framework for formally verifying distributed systems implementations in Coq
Chronicle
⭐
441
Public append-only ledger microservice built with Slim Framework
Agda Stdlib
⭐
392
The Agda standard library
L4v
⭐
364
seL4 specification and proofs
Kadence
⭐
363
⚠️ KADENCE HAS MOVED TO GITLAB ⚠️
Merkle Patricia Tree
⭐
281
Project is in active development and has been moved to the EthereumJS VM monorepo.
Creusot
⭐
172
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Verdi Raft
⭐
149
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
Iron
⭐
121
Coq formalizations of functional languages.
Bootstrap Dark
⭐
90
The Definitive Guide to Dark Mode and Bootstrap 4 - A proof of concept
Disel
⭐
85
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Generic Syntax
⭐
59
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Keymaerax Release
⭐
50
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Idris Insertion Sort
⭐
24
Provably correct implementation of insertion sort in Idris.
Hashapi Lib Node
⭐
20
Tierion Hash API client library for Node.js
Dblib Linear
⭐
10
Formalisation of the linear lambda calculus in Coq
1-17 of 17 projects
Advertising
📦 10
All Projects
Application Programming Interfaces
📦 124
Applications
📦 192
Artificial Intelligence
📦 78
Blockchain
📦 73
Build Tools
📦 113
Cloud Computing
📦 80
Code Quality
📦 28
Collaboration
📦 32
Command Line Interface
📦 49
Community
📦 83
Companies
📦 60
Compilers
📦 63
Computer Science
📦 80
Configuration Management
📦 42
Content Management
📦 175
Control Flow
📦 213
Data Formats
📦 78
Data Processing
📦 276
Data Storage
📦 135
Economics
📦 64
Frameworks
📦 215
Games
📦 129
Graphics
📦 110
Hardware
📦 152
Integrated Development Environments
📦 49
Learning Resources
📦 166
Legal
📦 29
Libraries
📦 129
Lists Of Projects
📦 22
Machine Learning
📦 347
Mapping
📦 64
Marketing
📦 15
Mathematics
📦 55
Media
📦 239
Messaging
📦 98
Networking
📦 315
Operating Systems
📦 89
Operations
📦 121
Package Managers
📦 55
Programming Languages
📦 245
Runtime Environments
📦 100
Science
📦 42
Security
📦 396
Social Media
📦 27
Software Architecture
📦 72
Software Development
📦 72
Software Performance
📦 58
Software Quality
📦 133
Text Editors
📦 49
Text Processing
📦 136
User Interface
📦 330
User Interface Components
📦 514
Version Control
📦 30
Virtualization
📦 71
Web Browsers
📦 42
Web Servers
📦 26
Web User Interface
📦 210
