Rankings
Badges
/
CarlKCarlK
Rankings
Badges
Overview
Ranks
Repositories
Languages
Carl Kadie
@CarlKCarlK
Refresh
Open GitHub
🇺🇸 Bellevue, WA
Microsoft Research (Retired)
Profile age: almost 12 years
Updated 12 days ago
71 followers • 34 following
Contacts
https://www.linkedin.com/in/carlk/
Repositories
range-set-blaze
100
12
updated 8 days ago • age almost 3 years
Rust
93.3%
Dafny
5.0%
JavaScript
1.0%
HTML
0.4%
CSS
0.4%
rust-ast-explorer
46
2
updated about 3 years ago • age about 3 years
JavaScript
75.7%
HTML
17.5%
Rust
6.8%
perfect-physics
35
7
updated over 2 years ago • age almost 3 years
Jupyter Notebook
98.0%
Python
1.7%
HTML
0.2%
CSS
0.1%
shortestpaper
26
3
updated almost 4 years ago • age almost 4 years
JavaScript
42.7%
HTML
38.0%
Rust
19.3%
anyinput
22
2
updated about 1 year ago • age about 3 years
Rust
100.0%
fetch-data
10
1
updated over 1 year ago • age over 3 years
Rust
100.0%
gpuoptional
9
1
updated almost 5 years ago • age almost 5 years
Python
100.0%
busy_beaver_blaze
9
0
updated about 1 month ago • age 9 months
Rust
89.3%
Jupyter Notebook
6.4%
Python
4.3%
clock
2
0
1
updated 8 months ago • age over 1 year
Rust
98.8%
RPC
1.2%
Contributions
2025
embassy
1 PR
+4
-0
Rust
7,683
1,224
this-week-in-rust
2 PRs
+4
-0
Python
2,422
1,311
scipy_proceedings
1 PR
+10
-0
Jupyter Notebook
249
575
showcase
2 PRs
+8
-3
CSS
94
12
bbchallenge
3 PRs
+17,330
-15,601
HTML
17
14
2024
this-week-in-rust
~6 PRs
+5
-0
Python
2,422
1,311
2023
this-week-in-rust
~12 PRs
+6
-0
Python
2,422
1,311
rust-for-dotnet-devs
1 PR
+1
-1
JavaScript
389
58
bgen-reader-py
1 PR
+1
-1
Python
11
3
3
2022
pyo3
1 PR
+3
-0
Rust
14,710
890
99
Show more
