Hannah Leung
@PalindromeLeungLanguage Breakdown
Lines of code distribution across 7 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in HTML
Collaboration Network
Global Impact visualization
Repos
32
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Bryan Parno
@parno
Anton Trunov
@anton-trunov
Tej Chajed
@tchajed
Marianna Rapoport
@amaurremi
Talia Ringer
@tlringer
Top Repositories
This is the repo for formalizing combing 2nd class capability into simply-typed lambda calculus.
SiFive's LLVM working tree
K Framework Tools 6.0
Working draft of the proposed RISC-V V vector extension
A book series on JavaScript. @YDKJS on twitter.
UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools
A formalization of geometry in Coq based on Tarski's axiom system
CloudComputing Project
Open Source Impact
Contributions to external projects
