30 results found Sort:

52
1.2k
lgpl-2.1
19
Creusot helps you prove your code is correct in an automated fashion.
Created 2021-01-25
3,103 commits to master branch, last one 20 hours ago
188
835
other
29
An advanced SAT solver
Created 2012-03-13
17,041 commits to master branch, last one 5 days ago
12
626
mit
8
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Created 2021-08-24
571 commits to master branch, last one 10 months ago
244
601
other
29
The Agda standard library
Created 2014-01-17
3,573 commits to master branch, last one 20 hours ago
57
597
bsd-2-clause
67
A framework for formally verifying distributed systems implementations in Coq
Created 2014-11-15
1,287 commits to master branch, last one 9 months ago
108
525
other
39
seL4 specification and proofs
Created 2014-07-17
5,853 commits to master branch, last one 2 days ago
25
469
unknown
27
Public append-only ledger microservice built with Slim Framework
Created 2017-06-26
246 commits to master branch, last one 3 years ago
17
468
agpl-3.0
10
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
Created 2022-12-28
2,552 commits to main branch, last one a day ago
Verified Software Toolchain
Created 2014-11-21
7,705 commits to master branch, last one 8 days ago
49
221
apache-2.0
15
Reference implementation of the OpenRarity protocol with Python.
Created 2022-06-01
400 commits to main branch, last one about a year ago
19
187
bsd-2-clause
55
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
Created 2016-09-28
1,300 commits to master branch, last one about a year ago
22
136
unknown
3
In this repository you can find stuff related to hack Facebook & Instagram. Disclaimer: This is only the proof of concept of my piece of code and only for educational purpose. So we are not responsibl...
Created 2020-05-07
14 commits to master branch, last one 4 years ago
7
119
unknown
1
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
Created 2022-06-20
15 commits to main branch, last one about a year ago
17
110
apache-2.0
16
Hääl - Anonymous Electronic Voting System on Public Blockchains
Created 2019-01-05
68 commits to master branch, last one 4 years ago
18
97
gpl-3.0
13
GAPT: General Architecture for Proof Theory
Created 2011-06-29
7,646 commits to master branch, last one 4 months ago
7
97
bsd-2-clause
13
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Created 2016-11-18
198 commits to master branch, last one 6 months ago
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
Created 2021-03-28
48 commits to main branch, last one 3 years ago
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Created 2015-08-26
16,739 commits to master branch, last one 4 months ago
Solutions for the book "Language Proof and Logic".
Created 2018-10-05
167 commits to master branch, last one 5 months ago
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Created 2017-03-31
548 commits to master branch, last one 2 years ago
25
70
other
8
Basic Analysis, undergraduate real analysis textbook
Created 2017-12-06
1,032 commits to master branch, last one 19 days ago
This Discord Nitro Proof generator allows you to generate an image (.png) simulating the donation of a nitro to a user. It is possible to choose by entering the ID a real user or to choose manually th...
Created 2023-02-25
27 commits to main branch, last one 13 days ago
Tool that enables Cake DeFi's to provide proof of liabilities and reserves
Created 2022-11-29
10 commits to main branch, last one 2 years ago
On-chain snapshots of the whole blockchain state
Created 2022-05-08
4 commits to master branch, last one 2 years ago
17
49
other
34
A linked data proof suite specification for BBS+ signatures
Created 2020-03-26
324 commits to main branch, last one 12 hours ago
Project Planeverb is a CPU based real-time wave-based acoustics engine for games. It comes with an integration with the Unity Engine.
Created 2020-05-04
32 commits to master branch, last one 3 years ago
A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
Created 2022-12-24
1,666 commits to main branch, last one 18 hours ago
3
43
unknown
5
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.
Created 2020-05-12
54 commits to main branch, last one 3 years ago
Proving a blocking queue deadlock free in a dozen different ways
Created 2020-02-20
7 commits to master branch, last one 3 months ago