Skip to content
View fanyi-zhao's full-sized avatar
🎯
Focusing
🎯
Focusing
25 followers · 51 following
  • Earth

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report fanyi-zhao

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
fanyi-zhao/README.md

Hi there, I'm @fanyi-zhao and I love programming with Java ☕️, Rust, Python 🐍, and OCaml 🐫. Currently, I'm interested in expanding my knowledge in compilers, optimization, and formal verification. At the moment, I'm learning Rust 🚀, LLVM 🛠, and Boogie to improve my skills. If you have an interesting project, I would love to collaborate with you. You can reach me at euclideanrn@163.com.

Pinned

  1. solang solang Public

    Forked from hyperledger/solang

    Solidity Compiler for Solana and Polkadot

    Rust

  2. formal-verification formal-verification Public

    Formal verification tools and examples.

    Boogie