proof topic
creusot
Creusot helps you prove your code is correct in an automated fashion.
idris-insertion-sort
Provably correct implementation of insertion sort in Idris.
cryptominisat
An advanced SAT solver
bootstrap-dark
The Definitive Guide to Dark Mode and Bootstrap 4 - A proof of concept
bootstrap-dark-5
The Ancillary Guide to Dark Mode and Bootstrap 5 - A continuation of the v4 Dark Mode POC.
CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
iron
Coq formalizations of functional languages.
merkle-patricia-tree
Project is in active development and has been moved to the EthereumJS VM monorepo.
chronicle
Public append-only ledger microservice built with Slim Framework
verdi
A framework for formally verifying distributed systems implementations in Coq