Badges

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

/aseemr

Badges

Overview
Ranks
Repositories
Languages

Aseem Rastogi

@aseemr

null

Profile age: over 12 years

Updated 3 days ago

21 followers • 0 following

Organizations

Repositories

Indocrypt-VerifiedCrypto-Tutorials

13

9

updated almost 5 years ago • age about 5 years

TeX38.3%

HTML28.0%

eC12.4%

Shell11.8%

F*9.6%

Contributions

2024
FStar
3 PRs +888-570
F*
2,907
243
79
steel
2 PRs +3,791-2,674
F*
36
6
1
pulse
~19 PRs +2,216-1,510
F*
26
10
1
2023
FStar
~17 PRs +1,652-1,420
F*
2,907
243
79
hacl-star
2 PRs +5-4
F*
1,789
179
17
everparse
1 PR +6-18
F*
289
19
37
steel
~13 PRs +2,329-1,236
F*
36
6
1
fstar-vscode-assistant
1 PR +15-2
TypeScript
25
10
28
2022
FStar
~27 PRs +15,816-10,588
F*
2,907
243
79
hacl-star
~8 PRs +220-233
F*
1,789
179
17