Skip to content
View Coekjan's full-sized avatar
🌿
Focusing
🌿
Focusing
129 followers · 69 following

Achievements

Achievement: Pull SharkAchievement: Starstruck
BetaSend feedback

Achievements

Achievement: Pull SharkAchievement: Starstruck
BetaSend feedback

Highlights

  • Pro

Organizations

@Jrinx
Block or Report

Block or report Coekjan

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

Hi there 👋

  • I earned my undergraduate degree at Beihang University, and am pursuing a graduate degree at ACT, Beihang University (expected to graduate in 2026.01).
  • Currently working on System Software, focusing on Dynamic Binary Translation / Operating System Structure / HLL in System Software.
  • Interested in Rust & Typst.

Pinned

  1. Jrinx/Jrinx-rs Jrinx/Jrinx-rs Public

    ARINC653 Multi-Partition Operating System in Rust

    Rust 7 1

  2. Jrinx/Jrinx Jrinx/Jrinx Public

    ARINC653 Multi-Partition Operating System Based On RISC-V, capable of running on SiFive HiFive Unmatched.

    C 21

  3. rust-lang/rust rust-lang/rust Public

    Empowering everyone to build reliable and efficient software.

    Rust 93.6k 12k

  4. typst-upgrade typst-upgrade Public

    Upgrade your typst packages

    Rust 3

  5. typst/typst typst/typst Public

    A new markup-based typesetting system that is powerful and easy to learn.

    Rust 28.8k 786

  6. cyyself/cemu cyyself/cemu Public

    A simple full system emulator. Currently support RV64IMACSU and MIPS32 and LoongArch32. Capable of booting Linux. Suitable for education and research.

    C++ 86 6