Language Breakdown
Lines of code distribution across 4 owned repositories
758K
Total LOC
JavaScript
228,898 lines
30.2%
N/A
TypeScript
186,676 lines
24.6%
N/A
Solidity
167,388 lines
22.1%
N/A
Python
99,821 lines
13.2%
N/A
HTML
56,227 lines
7.4%
N/A
Other
18,661 lines
2.5%
N/A
M
M-Shaped Developer
M-shapedMulti-specialist across JavaScript, TypeScript, Solidity
JavaScript
TypeScript
Solidity
Python
HTML
Collaboration Network
Global Impact visualization
Repos
248
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
3 days
273
Contributions
51
Commits
28
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Following
6 total
Synced via GitHub
Top Repositories
DeFi-csp-models
9
3
C#
DeFinery
2
4
TypeScript
stellar-dev-skill
AI skill for modern Stellar development
0
0
ercx-tokens
0
0
Solidity
angstrom
0
0
Rust
formalverification.xyz
A website listing all the best FV companies in the Crypto space.
0
0
TypeScript
ethereum-developer-tools-list
A guide to available tools and platforms for developing on Ethereum.
0
0
sc-exploits-minimized
A repo to showcase web3 hacks
0
1
Solidity
security-and-auditing-full-course-s23
0
0
Solidity
foundry-test
0
0
Solidity
Open Source Impact
Contributions to external projects
134 merged PRs
runtimeverification/k
571
runtimeverification/evm-semantics
587
runtimeverification/haskell-backend
223
runtimeverification/publications
94
runtimeverification/mir-semantics
43
runtimeverification/kup
9
runtimeverification/kontrol
118
runtimeverification/gitbook-kontrol
4
runtimeverification/stable-mir-json
10
runtimeverification/evm-equivalence
7
Contributed to 18 repositories