pirapira/taocp_in_coq

Stars
1
Language
License
BSD 3-Clause "New...
Created over 12 years ago
Updated over 12 years ago

pirapira/taocp_in_coq

pirapira

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

taocp_in_coq

awesome-ethereum-virtual-machine

Ethereum Virtual Machine Awesome List

bamboo

Bamboo see https://github.com/cornellblockchain/bamboo

ethereum-formal-verification-overview

The start page about my efforts around smart contract verification

eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

coq2rust

Coq to Rust program extraction. The whole tree is on the original Coq code base.

evmverif

An EVM code verification framework in Coq

dry-analyzer

Dr. Y's Ethereum Contract Analyzer

vmtrace_visualizer

A program that annotates a vm trace with dataflow information

ethereum-word-list

Words are Hard: Defining Common Terms in the Ethereum / Crypto Space

gohantabeyo

Gohantabeyo is a web site where people can make a wish whom they want to eat out with. If the other makes a similar wish, their wishes are told to both.

cbc_casper

Isabelle formalization of binary consensus

record

neta

rlp-ocaml

RLP serialization for OCaml

practice

kissdb-rust

kissdb ported to rust

sql2lisp

verbose-code-reading

Verboselly Logged Code Reading

token_why3

A Why3 modelling of a token contract

surreal

surreal numbers in Coq

proofmarket

kietter

js-graph-it-with-containers

a fork of http://js-graph-it.sourceforge.net/

ethereum-formal-list

A list of formal method applications on smart contracts

undecidable

undecidability club's web page

async_lazy_rpc

htodo

CLTT

lifepicker

A randomized activity picker for your 5 minites

waitfree

A combinator library for asynchronous waitfree computation among forkIO threads.

haskell-twitter

thesis

game

combinatorial game

ConcurrentSet

pirapira.github.io

salary-nego

Salary negotiation app on the Nexus zkVM