The Agda standard library

An advanced SAT solver

Solutions for the book "Language Proof and Logic".

📚Solutions to Language, Proof and Logic (2nd Edition)

seL4 specification and proofs

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

Verified Software Toolchain

A framework for formally verifying distributed systems implementations in Coq

Reference implementation of the OpenRarity protocol with Python.

The Ancillary Guide to Dark Mode and Bootstrap 5 - A continuation of the v4 Dark Mode POC.

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

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

Public append-only ledger microservice built with Slim Framework

Correctness proofs of Ethereum token contracts

Basic Analysis, undergraduate real analysis textbook

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, the profile picture and the message of the user. The use of the script is done with the help of commands using Discord modals.

Binary analysis in HOL

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.

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

GAPT: General Architecture for Proof Theory