Rankings
Badges
/
philzook58
Rankings
Badges
Overview
Ranks
Repositories
Languages
Philip Zucker
@philzook58
Refresh
Open GitHub
🇺🇸 Boston
Draper
Profile age: about 14 years
Updated 9 days ago
429 followers • 1,579 following
Contacts
www.philipzucker.com
@SandMouth
@sandmouth@types.pl
in/philip-zucker-4520ba90
Repositories
awesome-egraphs
233
14
updated 18 days ago • age 12 months
z3_tutorial
165
22
updated almost 2 years ago • age almost 6 years
Jupyter Notebook
100.0%
knuckledragger
130
7
updated 14 days ago • age almost 3 years
Python
95.4%
Jupyter Notebook
3.3%
Rust
0.7%
C
0.3%
Shell
0.3%
FlapPyBird-MPC
78
15
updated over 3 years ago • age almost 6 years
Python
100.0%
egglog0
66
3
1
updated over 2 years ago • age about 4 years
Rust
75.5%
JavaScript
13.5%
Prolog
8.8%
Perl
1.4%
Raku
0.8%
nand2coq
57
3
updated almost 4 years ago • age almost 7 years
Coq
47.4%
HTML
19.6%
Python
14.0%
Verilog
9.7%
Haskell
9.3%
duckegg
26
0
updated almost 2 years ago • age about 3 years
Python
96.0%
Jupyter Notebook
4.0%
cart_pole
23
2
updated over 6 years ago • age almost 8 years
OpenEdge ABL
86.5%
Jupyter Notebook
10.9%
Python
2.5%
C++
0.1%
Haskell
0.0%
fib-anyon
22
7
updated almost 6 years ago • age almost 7 years
Haskell
100.0%
pcode2c
22
2
updated about 1 year ago • age almost 2 years
Jupyter Notebook
43.9%
Python
39.8%
C
15.0%
Makefile
1.0%
C++
0.3%
Show more - 10 of 40 shown
Contributions
2024
z3
1 PR
+3
-1
C++
11,367
1,557
50
2023
egglog
2 PRs
+0
-6
Rust
614
70
extraction-gym
1 PR
+1,530
-0
Rust
48
24
2022
souffle
1 PR
+21
-9
C++
1,007
222
22
egglog
2 PRs
+55
-3
Rust
614
70
VIBES
2 PRs
+63
-93
OCaml
53
1
2021
bap
1 PR
+171
-135
OCaml
2,170
279
24
js_of_ocaml
1 PR
+117
-119
OCaml
1,041
195
60
dynamic-analysis
1 PR
+12
-1
Markdown
1,035
111
Metatheory.jl
2 PRs
+319
-0
Julia
383
46
24
Show more
