Rankings
Badges
/
kodyvajjha
Rankings
Badges
Overview
Ranks
Repositories
Languages
Koundinya Vajjha
@kodyvajjha
Refresh
Open GitHub
🇺🇸 San Francisco Bay Area
Intel Corporation
Profile age: over 10 years
Updated 10 days ago
17 followers • 22 following
Contacts
kodyvajjha.github.io
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in USA
Adept 1
Persona
Influencer
N/A
#128,204
#110,193
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
lean-mmc2021
1
0
updated about 4 years ago • age over 4 years
Lean
100.0%
doppler-thyroid
0
0
updated over 6 years ago • age over 9 years
R
100.0%
plastex
0
0
updated over 6 years ago • age over 6 years
Python
83.3%
HTML
8.2%
CSS
3.2%
JavaScript
3.2%
TeX
2.2%
lean2
0
0
updated almost 8 years ago • age almost 8 years
C++
51.8%
Lean
44.3%
Emacs Lisp
2.2%
CMake
1.0%
C
0.7%
nikeplus
0
0
updated over 9 years ago • age over 9 years
Python
100.0%
Last Contributions
2025
type_checking_in_lean4
2 PRs
+6
-4
JavaScript
32
9
2024
6502-ml
1 PR
+11
-4
OCaml
13
1
2023
ocaml5-tutorial
1 PR
+1
-10
OCaml
212
11
2022
FormalML
1 PR
+398
-385
Coq
78
19
1
2021
FormalML
1 PR
+91
-101
Coq
78
19
1
View all contributions
Latest Updates
01 Sep 2025
Followers Count:
16
17
18 Aug 2025
Followers Count:
15
16
16 Jan 2025
First seen
Subscribe to kodyvajjha's GitHub rank updates in your messenger
WhatsApp
Telegram
