Language Breakdown
Lines of code distribution across 96 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Scala
Collaboration Network
Global Impact visualization
Repos
190
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Andrej
@karpathy
Wu Shushu
@CielSeven
Wenhao Tang
@thwfhk
Zhuoqian Yang
@inrainbws
study0098
@study0098
Top Repositories
Semantic Type Soundness in Lean 4
Yet Another DNS relay server that can be used as a local DNS over HTTPS (DoH) proxy.
Experimental compiler for capybara.
A curated list for awesome machine learning methods for neural code intelligence.
Soundness proof for OOPSLA 2022 paper A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning.
Lean 4 mechanisation of Modal Effect Types.
北京邮电大学计算机学院本科编程作业索引
A deep learning neural network library implemented in pure C++.
Open Source Impact
Contributions to external projects
