Skip to content
View yhx-12243's full-sized avatar
226 followers · 251 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@OIerDb-ng @lean4oj

Block or report yhx-12243

Report abuse

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

Report abuse
yhx-12243/README.md

Pinned Loading

  1. OIerDb-ng/OIerDb OIerDb-ng/OIerDb Public

    Next generation OIerDb.

    TypeScript 823 24

  2. q q Public

    Implementation of ideal unique factorization of quadratic integer domains

    Rust 1

  3. lean4oj/backend lean4oj/backend Public

    Backend of Lean4OJ.

    Rust 3

  4. lean4oj/frontend lean4oj/frontend Public

    Forked from LibreOJ/frontend

    Frontend of Lean4OJ.

    TypeScript 1

  5. sast-summer-training-2023/sast2023-linux-git sast-summer-training-2023/sast2023-linux-git Public

    C++ 7 1

  6. embedded-wav-player embedded-wav-player Public

    Project of Embedded Systems 2025 Spring — a simple MP3 for STM32MP157 with Wayland GUI.

    Rust 1