Rankings
Badges
/
pnwamk
Rankings
Badges
Overview
Ranks
Repositories
Languages
Andrew Kent
@pnwamk
Refresh
Open GitHub
🇺🇸 Portland, OR
@AWS
Profile age: over 12 years
Updated 5 days ago
94 followers • 11 following
Contacts
http://pnwamk.github.io
@pnwamk
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 5
Persona
Influencer
#216,667
#527,298
#128,858
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
datatype
34
6
updated almost 3 years ago • age over 10 years
Racket
100.0%
stop2015-redex
18
2
updated over 10 years ago • age over 10 years
Racket
100.0%
sst-tutorial
17
4
updated almost 4 years ago • age over 7 years
Racket
100.0%
lean4-assert-command
9
2
updated about 2 years ago • age over 4 years
Lean
88.7%
Nix
11.3%
simple-sst-model
7
2
updated over 7 years ago • age over 7 years
Haskell
100.0%
View all 17 repositories
Last Contributions
2024
c3r
1 PR
+9
-2
Java
42
7
17
2023
c3r
~35 PRs
+3
-18
Java
42
7
17
2022
cryptol
3 PRs
+15
-9
Haskell
1,181
128
26
souffle
2 PRs
+5
-5
C++
1,011
222
22
saw-script
2 PRs
+97
-5
Haskell
478
77
14
View all contributions
Latest Updates
04 Sep 2025
Followers Count:
92
94
22 Jul 2025
Followers Count:
93
92
05 Jan 2025
First seen
Subscribe to pnwamk's GitHub rank updates in your messenger
WhatsApp
Telegram