Rankings
Badges
/
tchajed
Rankings
Badges
Overview
Ranks
Repositories
Languages
Tej Chajed
@tchajed
Refresh
Open GitHub
🇺🇸 Madison, WI
UW-Madison
Profile age: almost 14 years
Updated 6 days ago
338 followers • 16 following
Contacts
tchajed@gmail.com
https://www.chajed.io
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 3
Persona
Contributor
#62,464
#2,326
#28,017
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
minimal-elf
119
4
updated 5 months ago • age over 3 years
Rust
100.0%
iris-simp-lang
55
5
updated 3 months ago • age over 4 years
Rocq Prover
99.0%
Makefile
1.0%
coq-record-update
48
18
8
updated 29 days ago • age about 7 years
Rocq Prover
90.9%
Makefile
4.6%
Nix
4.5%
ltac2-tutorial
46
3
updated almost 3 years ago • age over 5 years
Coq
96.6%
Makefile
3.4%
coq-tla
27
1
updated over 1 year ago • age about 3 years
Coq
99.0%
Makefile
0.6%
Shell
0.4%
View all 43 repositories
Last Contributions
2025
homebrew-core
1 PR
+9
-13
Ruby
14,663
13,091
rocq-tricks
2 PRs
+21
-11
Coq
529
24
perennial
~49 PRs
+653
-346
Rocq Prover
201
41
1
opam
1 PR
+37
-0
OCaml
149
174
goose
~31 PRs
+146
-31
Go
130
16
8
View all contributions
Latest Updates
28 Sep 2025
Followers Count:
336
338
14 Sep 2025
Followers Count:
327
336
17 Aug 2025
Followers Count:
326
327
03 Aug 2025
Followers Count:
324
326
20 Jul 2025
Followers Count:
322
324
06 Jan 2025
First seen
Subscribe to tchajed's GitHub rank updates in your messenger
WhatsApp
Telegram
