Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/serock

Badges

Overview
Ranks
Repositories
Languages

John Serock

@serock

🇺🇸 United States - Pennsylvania

Profile age: over 13 years

Updated 23 days ago

4 followers • 0 following

Repositories

51

7

6

updated 9 months ago • age about 9 years

Ada98.8%

Makefile1.0%

Dockerfile0.2%

Contributions

2025
secureboot_objects
1 PR +1-1
Python
100
29
12
alire-index
1 PR +41-0
61
118
2024
agama-project.github.io
1 PR +2-2
MDX
1
1
2023
alire
2 PRs +11-5
Ada
347
58
28
libadalang
1 PR +4-4
Ada
159
46
6
learn
1 PR +3-3
Ada
104
43
alire-index
4 PRs +101-0
61
118
2022
alire
1 PR +143-3
Ada
347
58
28
autoconfig
1 PR +50-43
Python
78
51
dockerfiles
1 PR +79-0
Shell
2
2