Rankings
Badges
/
philnguyen
Rankings
Badges
Overview
Ranks
Repositories
Languages
Phil Nguyen
@philnguyen
Refresh
Open GitHub
🇺🇸 Seattle, WA
Profile age: about 16 years
Updated 13 days ago
44 followers • 15 following
Organizations
Repositories
soft-contract
35
10
updated over 4 years ago • age over 11 years
Racket
98.7%
Lean
1.3%
Makefile
0.0%
z3-rkt
24
5
updated over 6 years ago • age over 9 years
Racket
100.0%
json-type-provider
16
0
updated over 4 years ago • age about 6 years
Racket
100.0%
set-extras
6
2
updated over 3 years ago • age over 8 years
Racket
100.0%
termination
1
1
updated over 6 years ago • age over 7 years
Racket
95.7%
Isabelle
1.6%
Haskell
1.3%
Common Lisp
0.9%
Makefile
0.4%
630-project
0
0
updated over 10 years ago • age over 10 years
Coq
85.3%
TeX
14.7%
bibifi-code
0
0
updated almost 6 years ago • age almost 6 years
Haskell
89.8%
HTML
7.4%
Python
1.5%
JavaScript
0.9%
Shell
0.4%
Contributions
2025
reference-manual
1 PR
+1
-1
Lean
82
40
13
2023
benchmarks
2 PRs
+103
-4
Makefile
2,876
261
rhombus
1 PR
+1
-1
Racket
489
73
2022
semantic
1 PR
+1
-1
Haskell
9,061
458
9
benchmarks
3 PRs
+145
-43
Makefile
2,876
261
redex
1 PR
+64
-18
Racket
98
38
2021
benchmarks
2 PRs
+179
-62
Makefile
2,876
261
2019
benchmarks
3 PRs
+80
-77
Makefile
2,876
261
2018
redex
1 PR
+28
-33
Racket
98
38
theorem_proving_in_lean
1 PR
+3
-3
Python
49
48
Show more
