Skip to content
View haoxins's full-sized avatar
382 followers · 21 following

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Organizations

@strongloop @koajs @cojs @node-modules @normalize @fs-utils @koa-modules @crypto-utils @mongodb-utils @thenables

Block or report haoxins

Report abuse

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

Report abuse
haoxins/README.md

The Last Generation of Human Coders.

Deeply interessted in exploring the following domains through intensive reading: Math & Physics, Quantum Computing & Cryptography.

Pinned Loading

  1. haoxins.github.io haoxins.github.io Public

    Hao Xin's blog ~

    Python 21 4

  2. leanprover/lean4 leanprover/lean4 Public

    Lean 4 programming language and theorem prover

    Lean 7.7k 790