Rankings
Badges
/
jinxinglim
Rankings
Badges
Overview
Ranks
Repositories
Languages
Lim Jin Xing
@jinxinglim
Refresh
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
Repositories
Game-Theoretical-Approaches-in-Multi-Agent-Reinforcement-Learning-Policy-Space-Response-Oracles
15
0
updated about 6 years ago • age about 6 years
Jupyter Notebook
93.1%
TeX
6.9%
coq-formalized-divide-and-conquer
5
0
updated about 3 years ago • age over 4 years
Coq
58.4%
OCaml
38.8%
Makefile
2.8%
jinxinglim.github.io
0
0
updated 11 months ago • age about 4 years
HTML
59.2%
CSS
32.9%
JavaScript
6.6%
Ruby
1.4%
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
2022
evm-semantics
1 PR
+3
-1
Python
542
153
991
