Kaustuv Chaudhuri

@chaudhuri

Open GitHub

🇫🇷 Paris, France

Inria

Profile age: almost 15 years

Updated 5 days ago

19 followers • 1 following

Contacts

kaustuv@chaudhuri.info

https://chaudhuri.info

Organizations

Profile Overview

Global France

Global Rank

Adept 4

Persona

Influencer

N/A

#1,093,313

#738,058

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

maetning

updated over 8 years ago • age almost 11 years

OpenEdge ABL87.6%

OCaml12.1%

Python0.2%

proofcert-deskolemize

updated almost 7 years ago • age over 7 years

AMPL49.1%

Coq34.1%

Standard ML15.4%

Makefile1.5%

Last Contributions

2023
opam-repository
1 PR +32-0
555
1,207
w3proof-dispatch
1 PR +9-9
JavaScript
2
0
dispatch
3 PRs +2,780-11,100
TypeScript
0
2
2022
w3proof-dispatch
1 PR +12-2,366,358
JavaScript
2
0
2021
opam-repository
1 PR +28-0
555
1,207

View all contributions

Subscribe to chaudhuri's GitHub rank updates in your messenger

WhatsApp Telegram