Skip to content
View biinnnggggg's full-sized avatar
😃
Lean-ing
😃
Lean-ing
13 followers · 12 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: YOLO

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: YOLO

Block or report biinnnggggg

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

Hi there, I'm Zhe Ning

LinkedIn LeetCode HackerRank

Projects

Nothing to see here yet!

About Me

Second-year Maths student @ the National University of Singapore. Enthusiastic about probability theory and algebra.

  1. 💪 I am currently working on my toy ray tracer program written in Python 🐍🐍
  2. 👀 I'm currently learning Lean proof assistant and programming language... through Mathematics in Lean
  3. 👻 Favourite place: ... university library

Stats

Wakatime Stats

Pinned

  1. AY2324S2-CS2103-F09-3/tp AY2324S2-CS2103-F09-3/tp Public

    Forked from nus-cs2103-AY2324S2/tp

    Java 2 5

  2. ip ip Public

    Forked from nus-cs2103-AY2324S2/ip

    Individual project for CS2103 Software Engineering at NUS

    Java

  3. trace-racer trace-racer Public

    A toy ray-tracer written in Python. The implementation loosely follows the Ray Tracing in One Weekend series.

    Python 2