Robert Zhang
@robertzhidealxCS PhD @ UT Austin | Formerly @ Johns Hopkins, @facebook, @theorem-labs
Language Breakdown
Lines of code distribution across 14 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Jupyter Notebook
Collaboration Network
Global Impact visualization
Repos
79
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Steven Dillmann
@StevenDillmann
Ivan Bercovich
@ibercovich
idillig
@idillig
Eric Campbell
@ericthewry
Xavier Leroy
@xavierleroy
Top Repositories
A collection of highly extensible React components.
Predict Bitcoin price and trade in real time.
A small and mighty suite of data structures in JavaScript.
Refreshing automation for inductive equational proofs using e-graphs
AI-enabled question generation note-taking app.
Harbor Benchmark Template
🚧 Accepting Task Submissions 🚧
SkillsBench evaluates how well skills work and how effective agents are at using them
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Open Source Impact
Contributions to external projects
