11
Followers
8
Following
22
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 22 owned repositories
1.2M
Total LOC
Coq
850,425 lines
68.1%
N/A
TypeScript
161,629 lines
13.0%
N/A
Python
59,777 lines
4.8%
N/A
Lua
54,682 lines
4.4%
N/A
JavaScript
29,244 lines
2.3%
N/A
Other
92,264 lines
7.4%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Coq
Coq
TypeScript
Python
Lua
JavaScript
Collaboration Network
Global Impact visualization
Repos
44
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
21
Contributions
17
Commits
0
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
8 total
Robert Joseph
@Robertboy18
Sergey Bronnikov
@ligurio
Renato R. Leme
@renatoleme
ArthurMograbi
@ArthurMograbi
Natasha Klaus
@klausnat
Synced via GitHub
Top Repositories
pieces
L triominós problem visualization in python.
8
0
Python
Boladao2.0
Discord bot, to record conversations and other misc things
6
0
JavaScript
video-scraping
Download video from youtube and other webpages that uses HLS
5
0
JavaScript
travellingSalesmanAntColony
Ant Colony optimization for travelling salesman problem
1
0
Python
sudoku_theory
0
0
Lean
my_music_guesser_game
0
0
TypeScript
ct_mon_route_change
RNP CT-MON Route Change Detectition Data Science challenge workbook
0
0
Jupyter Notebook
basic_trie
Simple Trie implementation in Rust
0
0
Rust
things
0
0
formulo
0
0
Rust
Open Source Impact
Contributions to external projects
2 merged PRs
No external contributions found.