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 16 Proof Open Source Projects
Categories
>
Frameworks
>
Proof
Verdi
⭐
491
A framework for formally verifying distributed systems implementations in Coq
Cryptominisat
⭐
483
An advanced SAT solver
Chronicle
⭐
428
Public append-only ledger microservice built with Slim Framework
Kadence
⭐
363
⚠️ KADENCE HAS MOVED TO GITLAB ⚠️
Agda Stdlib
⭐
354
The Agda standard library
L4v
⭐
324
seL4 specification and proofs
Merkle Patricia Tree
⭐
274
Project is in active development and has been moved to the EthereumJS VM monorepo.
Verdi Raft
⭐
141
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
Iron
⭐
114
Coq formalizations of functional languages.
Disel
⭐
74
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Generic Syntax
⭐
52
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Keymaerax Release
⭐
46
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
Emofishes
⭐
11
Emofishes is a collection of proof of concepts that help improve, bypass or detect virtualized execution environments (focusing on the ones setup for malware analysis).
Dblib Linear
⭐
10
Formalisation of the linear lambda calculus in Coq
1-16 of 16 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