Koundinya Vajjha

@kodyvajjha

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

Repositories

lean-mmc2021

updated about 4 years ago • age over 4 years

Lean100.0%

doppler-thyroid

updated over 6 years ago • age over 9 years

R100.0%

plastex

updated over 6 years ago • age over 6 years

Python83.3%

HTML8.2%

CSS3.2%

JavaScript3.2%

TeX2.2%

lean2

updated almost 8 years ago • age almost 8 years

C++51.8%

Lean44.3%

Emacs Lisp2.2%

CMake1.0%

C0.7%

nikeplus

updated over 9 years ago • age over 9 years

Python100.0%

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
2020
FormalML
2 PRs +56-17
Coq
78
19
1
2019
mathlib3
1 PR +1-1
Lean
1,668
292
formalabstracts
1 PR +1-1
Lean
0
1