22
Followers
0
Following
18
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 18 owned repositories
2.6M
Total LOC
HTML
1,099,588 lines
42.2%
N/A
Haskell
485,015 lines
18.6%
N/A
Lean
369,589 lines
14.2%
N/A
C
203,193 lines
7.8%
N/A
Assembly
140,093 lines
5.4%
N/A
Other
307,776 lines
11.8%
N/A
T
T-Shaped Developer
T-shapedDeep in HTML with broad versatility
HTML
Haskell
Lean
C
Assembly
Collaboration Network
Global Impact visualization
Repos
20
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
4 days
10
Contributions
0
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
0 total
Not following anyone yet.
Synced via GitHub
Top Repositories
magda
Magda: Minimal Agda mode for Neovim
5
2
Vim Script
mios
Test operating system with higher-half kernel, multiple user mode "processes," and system calls.
4
0
C
m8080
Cycle-accurate Intel 8080 emulator library. Examples include Space Invaders, a debugger, and a disassembler.
2
0
C
logic
1
0
Lean
comp
Toy compilers and interpreters.
1
0
Haskell
learn
Miscellaneous proofs made while learning and practicing Lean.
1
0
Lean
focus
A simple Neovim color scheme
1
0
Vim Script
tt
Type Theory.
1
0
Haskell
pedrominicz.github.io
1
1
HTML
gestao-de-ti
0
0
HTML
Open Source Impact
Contributions to external projects
8 merged PRs
No external contributions found.