Rankings
Badges
/
cdstanford
Rankings
Badges
Overview
Ranks
Repositories
Languages
Caleb Stanford
@cdstanford
Refresh
Open GitHub
🇺🇸 Davis, California, USA
Profile age: about 11 years
Updated 4 days ago
129 followers • 244 following
Contacts
web.cs.ucdavis.edu/~cdstanford
@calebstanford4
Organizations
Repositories
dz3-artifact
7
1
updated over 2 years ago • age over 4 years
SMT
99.3%
C++
0.7%
Python
0.1%
Shell
0.0%
Dockerfile
0.0%
regex-smt-benchmarks
6
2
updated 3 months ago • age over 4 years
SMT
100.0%
ccf
2
0
updated over 2 years ago • age over 3 years
HTML
100.0%
data-transducers
1
0
updated about 4 years ago • age over 5 years
Rust
100.0%
dissertation
0
0
updated about 3 years ago • age over 4 years
TeX
99.2%
Shell
0.5%
Makefile
0.3%
Contributions
2024
CSrankings
1 PR
+2
-2
Python
2,964
3,768
cargo-scan
1 PR
+70
-26
Rust
21
4
1
rust-counterexamples
1 PR
+4
-2
Rust
9
0
2023
CSrankings
2 PRs
+19
-12
Python
2,964
3,768
cargo-scan
1 PR
+510
-648
Rust
21
4
1
cargo-scan
1 PR
+50
-241
Rust
0
1
2022
cargo-scan
1 PR
+2,025
-881
Rust
21
4
1
plclub-web
1 PR
+2
-1
HTML
6
19
penn-cisda.github.io
1 PR
+44
-14
HTML
2
1
Wordle-Solver
1 PR
+6
-0
Java
2
1
Show more
