Ayaka Yorihiro
@ayakayorihiroLanguage Breakdown
Lines of code distribution across 4 owned repositories
T-Shaped Developer
T-shapedDeep in OCaml with broad versatility
Collaboration Network
Global Impact visualization
Repos
20
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Ernest Ng
@ngernest
Zhiyuan Guo
@depctg
Zachary Susag
@zsusag
Kevin Laeufer
@ekiwi
Liam Packer
@LiamPack
Top Repositories
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
Intermediate Language (IL) for Hardware Accelerator Generators
it's a fake
Nemo: Multi-Criteria Test-Suite Minimization with Integer Nonlinear Programming (ICSE'18)
specification miner described in the Adversarial Specification Mining paper
STARTS - A tool for STAtic Regression Test Selection
Runtime verification system for Java, using AspectJ for instrumentation.
an educational compiler intermediate representation
Open Source Impact
Contributions to external projects
