Rankings
Badges
/
gussmith23
Rankings
Badges
Overview
Ranks
Repositories
Languages
Gus Smith
@gussmith23
Refresh
Open GitHub
🇺🇸 Seattle, WA
University of Washington
Profile age: almost 14 years
Updated 7 days ago
155 followers • 42 following
Contacts
gussmith@cs.washington.edu
justg.us
@gushfsmith
Repositories
glenside
Archived
70
10
updated 5 months ago • age over 5 years
Rust
81.6%
C
16.2%
Python
2.0%
Dockerfile
0.2%
lakeroad
51
10
3
updated 17 days ago • age over 4 years
Racket
89.3%
Verilog
6.5%
SystemVerilog
2.9%
Python
1.0%
Shell
0.3%
churchroad
13
2
updated 17 days ago • age over 1 year
Rust
57.2%
Verilog
28.0%
C++
7.6%
SystemVerilog
5.5%
Dockerfile
1.8%
posit-bisection-viz
11
3
updated almost 4 years ago • age over 6 years
JavaScript
85.7%
HTML
11.4%
CSS
2.9%
textgan
7
3
updated over 7 years ago • age over 7 years
Python
100.0%
tvm-custom-datatype-samples
5
0
updated over 6 years ago • age almost 7 years
Python
54.7%
C++
39.1%
Makefile
6.2%
lakeroad-evaluation
5
0
updated 6 months ago • age over 3 years
Verilog
94.5%
Coq
3.2%
SystemVerilog
1.8%
Python
0.4%
Shell
0.1%
churchroad-evaluation
2
0
updated 4 months ago • age over 1 year
Python
84.5%
SystemVerilog
11.3%
Dockerfile
2.6%
Shell
1.6%
GameFramework
1
0
updated over 9 years ago • age over 9 years
C++
53.4%
Python
46.6%
ulti-rs
1
0
updated almost 5 years ago • age over 5 years
Rust
100.0%
Show more - 10 of 21 shown
Contributions
2025
rosette
2 PRs
+4
-2
Racket
669
79
10
elephant
3 PRs
+1,378
-3,177
VHDL
4
4
2024
verilator
1 PR
+1
-0
C++
3,116
709
rosette
1 PR
+5
-2
Racket
669
79
10
egglog
2 PRs
+2
-2
Rust
630
71
stp
1 PR
+73
-0
C++
550
143
9
2023
verilator
1 PR
+6
-5
C++
3,116
709
rosette
2 PRs
+533
-3
Racket
669
79
10
egglog
2 PRs
+23
-1
Rust
630
71
arxiv-reader
1 PR
+2
-1
Python
62
10
Show more
