• Coding for fun!

  • Broadly interested in computer systems and programming languages.

  • Love anime! My douban, bangumi.

  • Programming Languages:
    • 1k+ LoC: Rust, Coq, C, Java
  • Toy Projects:
    • nb: a naïve blockchain(Rust)
    • kvs: a simple key-value database(Rust)
    • leptjson: a tiny JSON parser(C)
  • Open Source Contribution:
    • zCore: Reimplement Zircon microkernel in Rust. I helped improve its tests and documentations.
    • Issues/trivial PRs to tikv, intellij-rust, grcov.