Language Breakdown
Lines of code distribution across 11 owned repositories
6.3M
Total LOC
HTML
4,552,405 lines
72.3%
N/A
Rocq Prover
898,695 lines
14.3%
N/A
Java
285,214 lines
4.5%
N/A
JavaScript
196,862 lines
3.1%
N/A
Dart
96,566 lines
1.5%
N/A
Other
262,966 lines
4.2%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in HTML
HTML
Rocq Prover
Java
JavaScript
Dart
Collaboration Network
Global Impact visualization
Repos
14
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
2 days
477
Contributions
35
Commits
1
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
3 total
Synced via GitHub
Top Repositories
clio-core
Harnessing distributed, tiered storage for context management
0
0
C++
jarvis-cd
Jarvis-cd is a unified platform for deploying various applications
0
0
Python
CUDA_By_Example
0
0
Jupyter Notebook
Software-Foundations---Logical-Foundations
My Solutions to Logical Foundations
0
0
HTML
springboot-practice
0
0
Java
godhapallavib
0
0
Leetcode-Practice
A collection of my leetcode solutions
0
0
Java
WeatherApp
0
0
Dart
Flashcards
0
0
Dart
SmartHomes
0
0
Java
Open Source Impact
Contributions to external projects
7 merged PRs
Contributed to 1 repositories