Rankings
Badges
/
pnwamk
Rankings
Badges
Overview
Ranks
Repositories
Languages
Andrew Kent
@pnwamk
Refresh
Open GitHub
🇺🇸 Portland, OR
@AWS
Profile age: over 12 years
Updated 6 days ago
94 followers • 11 following
Contacts
http://pnwamk.github.io
@pnwamk
Organizations
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%
tr-calc
6
1
updated about 10 years ago • age over 11 years
Racket
100.0%
stop2015
5
0
updated over 10 years ago • age over 10 years
Racket
100.0%
typeset-rewriter
5
2
updated over 2 years ago • age about 10 years
Racket
100.0%
pldi16-artifact
3
1
updated almost 9 years ago • age over 9 years
Racket
99.0%
Shell
1.0%
fme
3
1
updated over 10 years ago • age about 11 years
Racket
100.0%
Show more - 10 of 17 shown
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
reopt
3 PRs
+966
-1,126
LLVM
328
29
2
souffle-lang.github.io
1 PR
+2
-2
HTML
7
63
2021
lean4
1 PR
+11
-0
Lean
6,572
677
92
cryptol
~31 PRs
+104
-48
Haskell
1,181
128
26
saw-script
~29 PRs
+191
-58
Haskell
478
77
14
Show more
