Yoichi Hirai
Results
10
repositories owned by
Yoichi Hirai
bamboo
324
Stars
39
Forks
Watchers
Bamboo see https://github.com/cornellblockchain/bamboo
coq2rust
216
Stars
10
Forks
Watchers
Coq to Rust program extraction. The whole tree is on the original Coq code base.
ethereum-formal-verification-overview
295
Stars
28
Forks
Watchers
The start page about my efforts around smart contract verification
ethereum-word-list
20
Stars
8
Forks
Watchers
Words are Hard: Defining Common Terms in the Ethereum / Crypto Space
gohantabeyo
15
Stars
2
Forks
Watchers
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.