p
Repositories
Select a repository to view its commits, contributors, and more.public
awesome-ethereum-virtual-machine
Ethereum Virtual Machine Awesome List
843
109
8
Updated a day ago
public
bamboo
Bamboo see https://github.com/cornellblockchain/bamboo
OCaml
323
40
50
Updated a day ago
public
ethereum-formal-verification-overview
The start page about my efforts around smart contract verification
299
26
0
Updated 23 days ago
public
eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
Isabelle
238
42
146
Updated a month ago
public
coq2rust
Coq to Rust program extraction. The whole tree is on the original Coq code base.
OCaml
222
10
5
Updated 5 months ago
public
evmverif
An EVM code verification framework in Coq
Coq
44
8
5
Updated 3 years ago
public
dry-analyzer
Dr. Y's Ethereum Contract Analyzer
Coq
42
10
22
Updated a year ago
public
vmtrace_visualizer
A program that annotates a vm trace with dataflow information
Ruby
35
6
0
Updated a year ago
public
ethereum-word-list
Words are Hard: Defining Common Terms in the Ethereum / Crypto Space
22
8
0
Updated 9 months ago
public
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.
Ruby
15
2
0
Updated 2 years ago
public
cbc_casper
Isabelle formalization of binary consensus
Isabelle
8
4
0
Updated 3 years ago
public
record
6
2
0
Updated 5 years ago