Peter Hajdu

@PeterHajdu

Open GitHub

🇭🇺 Budapest, Hungary

Profile age: over 15 years

Updated 5 days ago

33 followers • 38 following

Organizations

Repositories

fwa

updated 10 months ago • age almost 10 years

C53.4%

Shell25.5%

Roff15.5%

Makefile5.6%

introduction-to-haskell

updated about 7 years ago • age over 8 years

bobek

updated about 1 month ago • age about 6 years

Haskell98.1%

Makefile1.9%

updated over 7 years ago • age almost 8 years

Haskell100.0%

Contributions

2022
zio-http
1 PR +24-3
Scala
837
455
51
2021
Idris2
1 PR +132-0
Idris
2,744
394
5
SafeguardDotNet
1 PR +319-3
C#
12
19
2020
zio-logging
1 PR +14-8
Scala
184
81
55
2019
Idris2-boot
1 PR +1-1
Idris
900
56
2018
presentations
2 PRs +97-19
Jupyter Notebook
0
0
2016
DefinitelyTyped
1 PR +6-0
TypeScript
50,457
30,493
1
2014
sol
1 PR +2-2
C++
214
32
2
goodies
1 PR +1-0
C++
0
0
2013
tsyn
2 PRs +219-79
C++
2
0