/kainwen

Zhenghua Lyu

@kainwen

Open GitHub

🇨🇳 Beijing

Broadcom

Profile age: almost 5 years

Updated 28 days ago

56 followers • 2 following

Contacts

https://kainwen.com/

Repositories

talks

6

1

updated over 4 years ago • age almost 5 years

eopl

5

1

updated almost 5 years ago • age almost 5 years

Erlang95.6%

Racket4.1%

Standard ML0.3%

expand_leafs

3

2

updated almost 4 years ago • age over 4 years

Python100.0%

Contributions

2023
fix_distribution_policy
1 PR +125-50
Python
1
3