Skip to content
View lingkerio's full-sized avatar

Highlights

  • Pro

Block or report lingkerio

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

About me

  • Hello, I'm @lingkerio;
  • I'm studying at Wuhan University to pursue baccalaureate;
  • I'm learning to use C/C++, Verilog HDL, Python, Typst, OCaml, Rust, C#, and Javascript;
  • I'm currently engrossed in studying books pertaining to Programming Language Theory (PLT), such as "Types and Programming Languages" (TaPL) and "Compilers: Principles, Techniques, and Tools " (CPTaT);
  • I am currently very interested in computer architecture (mainly RISC-V and LoongArch), especially in the field of branch prediction;
  • I am also very interested in operating system kernels. Currently, I am closely studying the code of xv6;
  • please contact with me by [email protected];
  • welcome friendly contact;

myStats

wakatime

lingkerio's github stats

📅 My Coding Activity Over the Past Year

Programming Language Usage Duration Over the Past Year

What I am using:
tools

My Skills:
Skills

Popular repositories Loading

  1. lingkerio lingkerio Public

  2. waka-readme-stats waka-readme-stats Public

    Forked from anmol098/waka-readme-stats

    This GitHub action helps to add cool dev metrics to your github profile Readme

    Python

  3. OI-wiki OI-wiki Public

    Forked from OI-wiki/OI-wiki

    🌟 Wiki of OI / ICPC for everyone. (某大型游戏线上攻略,内含炫酷算术魔法)

    TypeScript

  4. dorado dorado Public

    Forked from chawyehsu/dorado

    🐟 Yet Another bucket for lovely Scoop

    PowerShell

  5. FTP-client FTP-client Public

    Python

  6. dsie dsie Public

    C