Skip to content
View He1pa's full-sized avatar
👀
learning and working
👀
learning and working
45 followers · 50 following

Achievements

Achievement: Galaxy BrainAchievement: Pull Sharkx3Achievement: StarstruckAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Quickdraw

Achievements

Achievement: Galaxy BrainAchievement: Pull Sharkx3Achievement: StarstruckAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Quickdraw

Block or report He1pa

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

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

Report abuse
He1pa/README.md

Pinned Loading

  1. kcl-lang/kcl kcl-lang/kcl Public

    KCL Language Core and API

    Rust 2.4k 178

  2. rust-lang/rust rust-lang/rust Public

    Empowering everyone to build reliable and efficient software.

    Rust 121k 17.4k

  3. vllm-project/vllm-ascend vllm-project/vllm-ascend Public

    Community maintained hardware plugin for vLLM on Huawei Ascend

    Python 3.1k 2.6k

  4. AntChainOpenLabs/Smart-Intermediate-Representation AntChainOpenLabs/Smart-Intermediate-Representation Public archive

    A brand-new multi-scenarios smart contract compiler framework

    Rust 77 17

  5. Tiny-compiler-in-500-lines-of-Rust Tiny-compiler-in-500-lines-of-Rust Public

    Rust 2

  6. Coq_Kalman_Filter Coq_Kalman_Filter Public

    Formal Verification of Kalman Filter Based on Coq

    Coq