Badges

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

/oishikg

Badges

Overview
Ranks
Repositories
Languages

Oishik Ganguly

@oishikg

🇸🇬 Singapore

Profile age: over 8 years

Updated 13 days ago

5 followers • 23 following

Repositories

formal_verification_avl_trees

2

0

updated almost 6 years ago • age over 6 years

Coq77.2%

HTML14.7%

OCaml6.0%

CSS2.0%

0

0

updated over 3 years ago • age over 6 years

Haskell100.0%

haskell-type-level-exercises

0

0

updated about 5 years ago • age about 5 years

Haskell100.0%

Contributions

2020
pushy-client
3 PRs +368-152
Haskell
0
0
2019
postgresql-simple-named
1 PR +87-2
Haskell
38
2
1
2017
patchwork
1 PR +11-0
Rich Text Format
1,141
42,251