Skip to content
View Michael1015198808's full-sized avatar
🎯
Focusing & Studying!
🎯
Focusing & Studying!

Block or report Michael1015198808

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
Michael1015198808/README.md

Updated at 2023.04.05.

Basic Info

I'm a PhD student at Peking University, major in Computer Science and Technology.

Like many students in this major, I enjoy writing codes, and pursue cool coding styles and tools.

I like things that have beautiful forms. Thus, I'm interested in mathematics, functional programming languages and the math model behind them.

I'm interested in practical technologies as well.

I'm a fan of

Statistics

Github stats

Top Langs

Current Status

🌱 Studying

  • Summary Generation (for modular program analysis).
  • Fault Localization.
  • JavaScript (especially parts concerning DOM and chromium).
  • Japanese.

📘 Reading

😢 No reading recently.

🎮 Playing

  • cover of Sekiro

    Sekiro (隻狼、せきろう).

    • 1 achievement away from the platinum trophy.
    • Trying interesting mods (like Resurrection).
  • cover of Card Shark

    Card Shark.

  • cover of Dark Souls III

    Dark Souls III (ダークソウルIII).

Pinned Loading

  1. zsh-vocab zsh-vocab Public

    A tool for reciting words in zsh

    Python 6

  2. ncmmg ncmmg Public

    A naive cmm code generator.

    C 5 2

  3. Chrome-Plugin-Bilibili-live-danmaku-timestamp Chrome-Plugin-Bilibili-live-danmaku-timestamp Public

    A Chrome Plugin displays sending time of danmaku (弾幕) in live.bilibili.com.

    JavaScript

  4. Chrome-Plugin-Xbox Chrome-Plugin-Xbox Public

    A Chrome Plugin allows you to use Xbox Controllers to interact with Chrome.

    JavaScript 5

  5. mirai-landlord mirai-landlord Public

    基于Mirai QQ库的斗地主插件

    Kotlin 4 1

  6. Mirai-word-competition Mirai-word-competition Public

    Forked from DRSalieri/English-Helper

    Mirai QQ机器人框架的单词竞赛插件

    Kotlin 1