proof

Star

Here are 168 public repositories matching this topic...

uwplse / verdi

Star

A framework for formally verifying distributed systems implementations in Coq

distributed-systems coq proof coq-library verdi

Updated Jun 15, 2020
Coq

paragonie / chronicle

Star

Public append-only ledger microservice built with Slim Framework

php security cryptography knowledge chain proof hash blake2b security-tools sapient append-only hash-chain

Updated Sep 29, 2019
PHP

agda / agda-stdlib

Star

The Agda standard library

library proof agda

Updated Jul 14, 2020
Agda

seL4 / l4v

Star

seL4 specification and proofs

proof isabelle formalisation sel4-proofs sel4-microkernel

Updated Jul 15, 2020
Isabelle

ethereumjs / merkle-patricia-tree

Star

This is an implementation of the modified merkle patricia tree as specified in the Ethereum's yellow paper.

ethereum proof trie data-structures merkle-tree merkle-proof merkle-patricia-tree

Updated Jun 22, 2020
TypeScript

uwplse / verdi-raft

Star

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

distributed-systems key-value raft coq proof consensus verdi

Updated Jun 22, 2020
Coq

discus-lang / iron

Star

Coq formalizations of functional languages.

lambda-calculus coq proof theory coq-formalizations

Updated Jul 2, 2020
Coq

DistributedComponents / disel

Star

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

distributed-systems coq proof separation-logic coq-library two-phase-commit

Updated Jun 20, 2020
Coq

sec-bit / tokenlibs-with-proofs

Star

Correctness proofs of Ethereum token contracts

coq proof token formal-verification erc20

Updated Jun 5, 2019
Coq

eddieoz / haal

Star

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

protocol ethereum dapp smart-contracts blockchain proof whitepaper votes homomorphic-encryption e-voting digital-signatures blockchains electronic-voting voting-system zk-snarks ganache zero-knowledge-proofs stealth-wallets

Updated Jul 16, 2020
JavaScript

gapt / gapt

Star

GAPT: General Architecture for Proof Theory

scala proof theorem-proving tactics sat-solver proofs herbrand-disjunction

Updated Apr 24, 2020
Scala

RyanMarcus / vulcan

Star

A JavaScript propositional logic and resolution library

javascript proof logic proof-assistant

Updated Sep 19, 2017
JavaScript

gallais / generic-syntax

Star

A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

semantic proof generic-programming agda

Updated Mar 7, 2020
Agda

chainpoint / chainpoint-cli

Star

A Command Line Interface (CLI) for creating and verifying Chainpoint proofs.

cryptography bitcoin command-line ethereum proof api-client hash sha256 chainpoint

Updated Jun 17, 2020
JavaScript

LS-Lab / KeYmaeraX-release

Star

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

scala proof mathematica tactics dynamical-systems differential-equations hybrid-systems theorem-prover axiom cyber-physical-systems dynamic-logics differential-dynamic-logic keymaera hybrid-games

Updated Jul 1, 2020
Scala

data61 / PSL

Star

machine-learning proof artificial-intelligence proof-assistant formal-methods isabelle domain-specific-language induction formal-verification itp psl hol interactive-theorem-proving conjecture formal-proofs proof-search proof-strategies

Updated Jul 10, 2020
Isabelle

coq-community / chapar

Star

A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

distributed-systems key-value ocaml coq proof causal-consistency coq-extraction

Updated May 29, 2020
Coq

davidfstr / idris-insertion-sort

Star

Provably correct implementation of insertion sort in Idris.

proof idris insertion-sort

Updated Feb 3, 2019
Idris

brain-labs / brainstation

Star

A small video game console for Arduino using the Brainduino interpreter

game arduino lcd brainfuck proof nes concept ppu brain brainstation brainduino

Updated Apr 4, 2018
Processing

Galilel-Project / galilel

Star

Galilel (GALI) Wallet Source Code

gtd proof cryptocurrency masternode wallet coin reward stake zerocoin gali dzpos giomn ghpot ghpos gmsc galilel zgali

Updated Jan 13, 2020
C++

Jumaruba / LPL-solutions

Star

Solutions for the book "Language Proof and Logic".

proof logic fitch fitch-proofs lpl

Updated Apr 8, 2020

DomRe / 3DS_eBook_Reader

Star

[ARCHIVE] PoC 3DS eBook Reader.

homebrew nintendo proof ebook epub reader concept of 3ds oeb oebps

Updated Aug 1, 2018
C

uwplse / cheerios

Star

Formally verified Coq serialization library with support for extraction to OCaml

serialization ocaml coq proof serialization-library coq-library

Updated Jan 31, 2020
Coq

Diffylab / Diffy

Star

🎞️

💓

🍿 Love streaming - It's always best to watch a movie together ! 🤗

Updated Jan 22, 2020
CSS

krystianity / blockchain

Star

💪

🔗 PoW Blockchain implementation in Typescript 💱

nodejs typescript block scale blockchain proof transaction proof-of-work

Updated Jul 17, 2020
TypeScript

inblocks / precedence

Star

precedence brings secure blockchain-powered traceability features to your already existing legacy information system

security blockchain proof precedence traceability proof-of-existence existence proof-of-ownership proof-of-process

Updated Jul 16, 2020
JavaScript

smorimoto / coq-to-ocaml-to-js

Star

Proof of concept to generate safe and fast JavaScript

javascript ocaml coq proof bucklescript

Updated Jul 1, 2020
Coq

matter-labs / Groth16BatchVerifier

Star

Batch verification proposal for the zkSNARK verification with the same(!) circuit

proof snark snark-verification

Updated Jun 24, 2019
JavaScript

jirilebl / ra

Star

Basic Analysis, undergraduate real analysis textbook

latex analysis proof mathematics textbook real-analysis advanced-calculus

Updated Jul 15, 2020
TeX

kth-step / HolBA

Star

Binary analysis in HOL

proof binary-analysis armv8 cortex-m0 hol4

Updated Jul 15, 2020
Standard ML

Improve this page

Add a description, image, and links to the proof topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proof topic, visit your repo's landing page and select "manage topics."

Learn more