Skip to content
View lingkerio's full-sized avatar
6 followers · 8 following
  • China

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

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, and OCaml;
  • 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 lingkerio@qq.com;
  • welcome friendly contact;

myStats

wakatime

lingkerio's github stats

๐Ÿ“Š This Week I Spent My Time On

๐Ÿ’ฌ Programming Languages: 
Python                   17 hrs 39 mins      โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   63.70 % 
OCaml                    3 hrs 40 mins       โ–ˆโ–ˆโ–ˆโ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   13.23 % 
C                        2 hrs 28 mins       โ–ˆโ–ˆโ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   08.95 % 
JSON                     56 mins             โ–ˆโ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   03.41 % 
Markdown                 41 mins             โ–ˆโ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   02.51 % 

๐Ÿ”ฅ Editors: 
VS Code                  27 hrs 43 mins      โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆ   100.00 %

๐Ÿ“… 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