Creusot helps you prove your code is correct in an automated fashion.

• UpdatedMar 17, 2025
• Rust

An advanced SAT solver

• UpdatedMar 16, 2025
• C++

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

• UpdatedApr 10, 2024
• Rust

The Agda standard library

• UpdatedMar 17, 2025
• Agda

A framework for formally verifying distributed systems implementations in Coq

• UpdatedMay 17, 2024
• Coq

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs!✈️ 🚀 ⚕️ 🏦

• UpdatedMar 17, 2025
• Coq

seL4 specification and proofs

• UpdatedMar 17, 2025
• Isabelle

Public append-only ledger microservice built with Slim Framework

• UpdatedJan 17, 2022
• PHP

Verified Software Toolchain

• UpdatedMar 13, 2025
• Coq

Project is in active development and has been moved to the EthereumJS VM monorepo.

• UpdatedJan 19, 2021
• TypeScript

Reference implementation of the OpenRarity protocol with Python.

• UpdatedJan 4, 2024
• Python

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

• UpdatedDec 8, 2023
• Coq

Coq formalizations of functional languages.

• UpdatedJul 2, 2020
• Coq

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 responsible for any illegal use of this code.

• UpdatedFeb 21, 2025
• PHP

Zero-Knowledge Proofs "for (not too much 😉 ) dummies"

• UpdatedSep 24, 2023

Hääl - Anonymous Electronic Voting System on Public Blockchains

• UpdatedDec 9, 2022
• JavaScript

GAPT: General Architecture for Proof Theory

• UpdatedMar 13, 2025
• Scala

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

• UpdatedJul 26, 2024
• Coq

Correctness proofs of Ethereum token contracts

• UpdatedJun 5, 2019
• Coq

They see me rollin'. They're Heyting. -- Chamillionaire, 2005

• UpdatedApr 12, 2021
• Haskell