Australian National University
Canberra, Australia
33
Followers
16
Following
12
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 2 owned repositories
151K
Total LOC
HTML
136,662 lines
90.5%
N/A
CSS
11,004 lines
7.3%
N/A
Rust
3,287 lines
2.2%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in HTML
HTML
CSS
Rust
Collaboration Network
Global Impact visualization
Repos
43
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
200
Contributions
170
Commits
20
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
16 total
Billy Jaffray
@BillyJaf
Ivan Velickovic
@Ivan-Velickovic
James
@avitex
lachiegraham
@lachiegraham
Matthew Britton
@RuleBrittonica
Synced via GitHub
Top Repositories
libvmm
A virtual machine monitor for the seL4 microkernel
0
0
C
microkit
Microkit - A simple operating system framework for the seL4 microkernel
0
0
Rust
SIGPLAN.github.io
SIGPLAN website
0
0
HTML
util_libs
0
0
C
seL4_tools
Basic tools for building seL4 projects
0
0
C
seL4
The seL4 microkernel
0
0
C
sddf
A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
0
0
C
pcminer
PC-miner tool for program chairs
0
0
HTML
rust-contest-server
0
0
Rust
nominal-wyvern
0
0
Haskell
Open Source Impact
Contributions to external projects
43 merged PRs
wyvernlang/wyvern
565
SIGPLAN/SIGPLAN.github.io
13
wyvernlang/wyvernlang.github.io
4
qafny/pqasm
2
fiducia-lang/cbc-for-pancake
1
qafny/quantumTesting
0
qafny/AutoDisQ
1
fiducia-lang/fiducia-lang.github.io
0
Contributed to 8 repositories