31 results found Sort:
- Filter by Primary Language:
- Coq (5)
- JavaScript (3)
- TypeScript (2)
- C++ (2)
- PHP (2)
- Python (2)
- Rust (2)
- Scala (2)
- Agda (2)
- Isabelle (2)
- Haskell (1)
- HTML (1)
- TeX (1)
- Dafny (1)
- SCSS (1)
- +
Creusot helps you prove your code is correct in an automated fashion.
Created
2021-01-25
2,810 commits to master branch, last one 22 hours ago
An advanced SAT solver
Created
2012-03-13
17,032 commits to master branch, last one 26 days ago
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Created
2021-08-24
571 commits to master branch, last one 7 months ago
A framework for formally verifying distributed systems implementations in Coq
Created
2014-11-15
1,287 commits to master branch, last one 6 months ago
The Agda standard library
Created
2014-01-17
3,530 commits to master branch, last one 2 days ago
seL4 specification and proofs
Created
2014-07-17
5,809 commits to master branch, last one 28 days ago
Public append-only ledger microservice built with Slim Framework
Created
2017-06-26
246 commits to master branch, last one 2 years ago
Verified Software Toolchain
Created
2014-11-21
7,697 commits to master branch, last one 2 months ago
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
Created
2022-12-28
2,432 commits to main branch, last one a day ago
The Ancillary Guide to Dark Mode and Bootstrap 5 - A continuation of the v4 Dark Mode POC.
This repository has been archived
(exclude archived)
Created
2021-01-16
255 commits to main branch, last one about a year ago
Reference implementation of the OpenRarity protocol with Python.
Created
2022-06-01
400 commits to main branch, last one about a year ago
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 11 months ago
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 3 years ago
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
Created
2022-06-20
15 commits to main branch, last one about a year ago
Hääl - Anonymous Electronic Voting System on Public Blockchains
Created
2019-01-05
68 commits to master branch, last one 4 years ago
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 3 months ago
GAPT: General Architecture for Proof Theory
Created
2011-06-29
7,646 commits to master branch, last one about a month 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 about a month ago
Solutions for the book "Language Proof and Logic".
Created
2018-10-05
167 commits to master branch, last one 2 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
Tool that enables Cake DeFi's to provide proof of liabilities and reserves
Created
2022-11-29
10 commits to main branch, last one about a year ago
This repository has no description...
Created
2016-08-10
1,559 commits to master branch, last one 16 days ago
On-chain snapshots of the whole blockchain state
Created
2022-05-08
4 commits to master branch, last one 2 years ago
Basic Analysis, undergraduate real analysis textbook
Created
2017-12-06
1,027 commits to master branch, last one 20 days ago
This Fake 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 the name, t...
Created
2023-02-25
25 commits to main branch, last one 29 days ago
A linked data proof suite specification for BBS+ signatures
Created
2020-03-26
318 commits to main branch, last one about a month ago
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 23 days 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