Skip to content
View lijunchen's full-sized avatar
56 followers · 102 following
  • 00:14 (UTC +08:00)

Achievements

Achievement: Starstruckx2Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Starstruckx2Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Quickdraw

Block or report lijunchen

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
Stars

C++

3 repositories

Cpp-Club / Cxx_HOPL4_zh

Chinese translation of Bjarne Stroustrup's HOPL4 paper

2,236 398 Updated Dec 10, 2024

wjakob / nanobind

nanobind: tiny and efficient C++/Python bindings

C++ 2,494 208 Updated Jan 14, 2025

AndrasKovacs / elaboration-zoo

Minimal implementations for dependent type checking and elaboration

Haskell 625 35 Updated Sep 18, 2024