Language Breakdown
Lines of code distribution across 16 owned repositories
89.8M
Total LOC
C
84,579,408 lines
94.2%
N/A
Python
2,569,621 lines
2.9%
N/A
Assembly
752,922 lines
0.8%
N/A
Makefile
570,060 lines
0.6%
N/A
Perl
406,878 lines
0.5%
N/A
Other
922,735 lines
1.0%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in C
C
Python
Assembly
Makefile
Perl
Collaboration Network
Global Impact visualization
Repos
95
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
1,186
Contributions
667
Commits
241
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Top Repositories
microkit
Microkit - A simple operating system framework for the seL4 microkernel
8
11
Python
lionsos_wasm
Experimenting with WASM on LionsOS
3
1
Rust
star64_sdcard
A script for building a microSD card image contains U-Boot/OpenSBI for the Pine64 Star64 SBC
3
1
Shell
seL4
The seL4 microkernel
2
1
C
flash_uboot_odroidc4
1
2
Shell
sel4_renode
Simulating seL4 projects with Renode
1
0
sDDF
seL4 Device Driver Framework
1
0
C
os161-nix
Basic Nix flake for the OS/161 toolchain
0
0
Nix
os161-homebrew
0
0
Ruby
numbers
Very simple website for viewing hex, binary, etc formats of numbers
0
0
JavaScript
Open Source Impact
Contributions to external projects
834 merged PRs
seL4/seL4
5558
seL4/camkes-tool
27
seL4/camkes-vm
25
seL4/seL4_libs
60
seL4/util_libs
64
seL4/seL4_tools
55
seL4/capdl
40
seL4/sel4bench
22
seL4/rumprun-sel4-demoapps
33
seL4/seL4-CAmkES-L4v-dockerfiles
14
Contributed to 30 repositories