Discover @yihozhang Open Source projects

Yihong Zhang (@yihozhang)

yihozhang

Stars
32
Global Rank 460,452 (Top 17 %)
Followers 130
Following 111
Registered about 9 years ago
Most used languages

Rust
30.0 %

Scala
10.0 %

Haskell
10.0 %

C
10.0 %

C++
10.0 %

Python
10.0 %

HTML
10.0 %

Racket
10.0 %
Location 🇺🇸 United States
Country Total Rank 87,054
Country Ranking

Racket
164

Haskell
2,118

Rust
2,786

Scala
3,340

relational-ematching-benchmark

egraph-sqlite

egraph on top of sqlite

sdl

ruxl

peg

persistent e-graphs

modified-sc-by-eval

adaption of supercompilation-by-evaluation (https://github.com/batterseapower/supercompilation-by-evaluation) to update-to-date ghc

masters-thesis

yihozhang

egglog-pointer-analysis-benchmark

yihozhang.github.io

2TBF

A state monad based compiler from a subset of Pascal to 2-Tape Brainfuck, a practical extension of BF lang.