Lim Jin Xing

2024
kontrol
2 PRs +64-8
Python
84
13
554
zk-benchmark
2 PRs +2,363-2,704
Cairo
6
9
devcon-2024
2 PRs +79-44
Solidity
1
0
oopsla-23-chen
1 PR +1-1
Shell
1
1
2023
k-tutorial-atva-2023
~6 PRs +15-11
Dockerfile
0
0

View all contributions

Subscribe to jinxinglim's GitHub rank updates in your messenger

WhatsApp Telegram

Lim Jin Xing

@jinxinglim

Open GitHub

🇸🇬 Singapore

Pi Squared Inc.

Profile age: about 11 years

Updated 10 days ago

6 followers • 5 following

Contacts

jin.lim@pi2.network

jinxinglim.github.io

@0xJinXingLim

in/jin-xing-lim-840814189

Profile Overview

Global Singapore

Rank in Singapore

Beginner 5

Persona

Creator

#2,893

#4,362

#6,979

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

Game-Theoretical-Approaches-in-Multi-Agent-Reinforcement-Learning-Policy-Space-Response-Oracles

updated about 6 years ago • age about 6 years

Jupyter Notebook93.1%

TeX6.9%

coq-formalized-divide-and-conquer

updated about 3 years ago • age over 4 years

Coq58.4%

OCaml38.8%

Makefile2.8%

jinxinglim.github.io

updated 11 months ago • age about 4 years

HTML59.2%

CSS32.9%

JavaScript6.6%

Ruby1.4%

Last Contributions

2024
kontrol
2 PRs +64-8
Python
84
13
554
zk-benchmark
2 PRs +2,363-2,704
Cairo
6
9
devcon-2024
2 PRs +79-44
Solidity
1
0
oopsla-23-chen
1 PR +1-1
Shell
1
1
2023
k-tutorial-atva-2023
~6 PRs +15-11
Dockerfile
0
0

View all contributions

Subscribe to jinxinglim's GitHub rank updates in your messenger

WhatsApp Telegram