Rankings
Badges
/
jjurm
Rankings
Badges
Overview
Ranks
Repositories
Languages
Juraj Mičko
@jjurm
Refresh
Open GitHub
🇨🇭 Zurich
QuantCo
Profile age: over 11 years
Updated 7 days ago
22 followers • 15 following
Contacts
https://www.linkedin.com/in/juraj-micko/
Organizations
Repositories
path-following-reinforcement-learning
20
2
updated over 5 years ago • age over 5 years
Python
100.0%
robocup17
6
2
updated over 7 years ago • age about 8 years
C
100.0%
hackprague
5
1
updated almost 8 years ago • age over 8 years
Java
100.0%
bonedoctor
2
2
updated almost 5 years ago • age over 6 years
Java
63.1%
Kotlin
19.4%
Python
9.8%
Jupyter Notebook
7.4%
CSS
0.3%
robocup17-gui
2
1
updated over 7 years ago • age about 8 years
Kotlin
100.0%
fbp
1
0
updated almost 9 years ago • age about 9 years
Java
100.0%
gamegig3000
1
0
updated almost 8 years ago • age almost 8 years
Java
64.8%
Kotlin
35.2%
feedus
0
0
updated over 4 years ago • age over 6 years
HTML
66.3%
Python
21.2%
JavaScript
12.4%
hexplore
0
1
updated over 7 years ago • age over 7 years
Kotlin
90.6%
Python
5.8%
Java
3.7%
xpand
0
0
updated almost 7 years ago • age over 7 years
TypeScript
92.8%
JavaScript
7.2%
Show more - 10 of 15 shown
Contributions
2025
polars
1 PR
+18
-6
Rust
35,370
2,400
230
dataframely
2 PRs
+423
-8
Python
404
13
23
2023
stanovy
1 PR
+97
-66
0
0
1
2022
prusti-dev
1 PR
+3,274
-1,664
Rust
1,677
116
14
cssz-web
1 PR
+1,677
-308
HTML
1
3
2020
stanovy
1 PR
+169
-119
0
0
1
2018
js_of_ocaml
1 PR
+2
-2
OCaml
1,041
195
60
2015
roots
2 PRs
+62
-7
Python
9
7
