5
Followers
0
Following
5
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 5 owned repositories
9.1M
Total LOC
Rust
6,386,311 lines
69.8%
N/A
C
972,981 lines
10.6%
N/A
TypeScript
662,959 lines
7.2%
N/A
JavaScript
438,295 lines
4.8%
N/A
Java
208,873 lines
2.3%
N/A
Other
477,418 lines
5.2%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Rust
Rust
C
TypeScript
JavaScript
Java
Collaboration Network
Global Impact visualization
Repos
5
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
14 days
497
Contributions
408
Commits
86
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
0 total
Not following anyone yet.
Synced via GitHub
Top Repositories
mununu
RUST library for verification
9
1
Rust
rollito-vm
2
0
JavaScript
mununu-ui
Web client for mununu
1
0
TypeScript
cltsa-ui
CLTSA UI is the graphical client of CLTSA (an open source tool intended to model, verify, synthesize and diagnose specifications through the use of CLTS structures and techniques)
0
0
Java
cltsa
CLTSA is an open source tool intended to model, verify, synthesize and diagnose specifications through the use of CLTS structures and techniques
0
0
C
Open Source Impact
Contributions to external projects
79 merged PRs
No external contributions found.