Yoichi Hirai (@pirapira)
github

pirapira

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2,219
  • Global Rank 13,792 (Top 0.5 %)
  • Followers 762
  • Following 64
  • Registered almost 16 years ago
  • Most used languages
    Verilog     15.4 %
    Haskell
         15.4 %
    OCaml
         11.5 %
    Coq     11.5 %
    Ruby
         11.5 %
    Rust
         7.7 %
    Isabelle     7.7 %
    HTML
         7.7 %
    JavaScript
         7.7 %
    Python
         3.8 %
  • Location <UNKNOWN>
  • Country Total Rank 776

Top repositories

1

awesome-ethereum-virtual-machine

Ethereum Virtual Machine Awesome List
839
star
2

bamboo

Bamboo see https://github.com/cornellblockchain/bamboo
OCaml
324
star
3

ethereum-formal-verification-overview

The start page about my efforts around smart contract verification
298
star
4

eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs
Isabelle
236
star
5

coq2rust

Coq to Rust program extraction. The whole tree is on the original Coq code base.
OCaml
214
star
6

evmverif

An EVM code verification framework in Coq
Coq
44
star
7

dry-analyzer

Dr. Y's Ethereum Contract Analyzer
Coq
42
star
8

vmtrace_visualizer

A program that annotates a vm trace with dataflow information
Ruby
35
star
9

ethereum-word-list

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

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
star
11

cbc_casper

Isabelle formalization of binary consensus
Isabelle
8
star
12

record

6
star
13

neta

neta notes
HTML
5
star
14

rlp-ocaml

RLP serialization for OCaml
OCaml
4
star
15

practice

JavaScript
3
star
16

kissdb-rust

kissdb ported to rust
Rust
3
star
17

sql2lisp

Verilog
3
star
18

verbose-code-reading

Verboselly Logged Code Reading
2
star
19

token_why3

A Why3 modelling of a token contract
Coq
2
star
20

surreal

surreal numbers in Coq
Verilog
2
star
21

proofmarket

2
star
22

kietter

kietter
Ruby
2
star
23

js-graph-it-with-containers

a fork of http://js-graph-it.sourceforge.net/
JavaScript
2
star
24

ethereum-formal-list

A list of formal method applications on smart contracts
1
star
25

undecidable

undecidability club's web page
1
star
26

async_lazy_rpc

Haskell
1
star
27

taocp_in_coq

taocp_in_coq
1
star
28

htodo

a todo manager
Haskell
1
star
29

CLTT

Verilog
1
star
30

lifepicker

A randomized activity picker for your 5 minites
Python
1
star
31

waitfree

A combinator library for asynchronous waitfree computation among forkIO threads.
Haskell
1
star
32

haskell-twitter

1
star
33

thesis

1
star
34

game

combinatorial game
Verilog
1
star
35

ConcurrentSet

Haskell
1
star
36

pirapira.github.io

HTML
1
star
37

salary-nego

Salary negotiation app on the Nexus zkVM
Rust
1
star