Rankings
Badges
/
hajduakos
Rankings
Badges
Overview
Ranks
Repositories
Languages
Akos Hajdu
@hajduakos
Refresh
Open GitHub
🇬🇧 United Kingdom
@Facebook
Profile age: over 13 years
Updated 9 days ago
34 followers • 36 following
Contacts
hajduakos.github.io
@himynameisakos
Organizations
Repositories
PanoDotNet
22
11
updated over 3 years ago • age almost 11 years
C#
100.0%
PhotoLapse
8
2
2
updated about 2 months ago • age almost 11 years
C#
100.0%
PineappleDataflowNet
1
1
updated over 10 years ago • age over 11 years
Java
82.5%
GAP
11.4%
Xtend
6.1%
PhotoToolsDotNet
0
0
updated 11 months ago • age over 5 years
C#
99.1%
CSS
0.9%
Contributions
2021
erlang_ls
1 PR
+272
-59
Erlang
658
141
68
theta
2 PRs
+72
-6
Java
56
46
161
gazer
1 PR
+6
-4
C++
25
5
16
2020
ethereum_formal_verification_overview
1 PR
+5
-1
335
35
theta
~7 PRs
+377
-142
Java
56
46
161
solidity
3 PRs
+412
-130
C++
52
15
1
gamma
3 PRs
+72
-27
Xtend
33
27
11
gazer
~12 PRs
+55
-16
C++
25
5
16
2019
boogie
1 PR
+21
-2
Boogie
558
118
172
ethereum_formal_verification_overview
2 PRs
+3
-1
335
35
Show more
