129
Followers
5
Following
40
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 6 owned repositories
210K
Total LOC
Rust
170,606 lines
81.2%
N/A
C++
20,837 lines
9.9%
N/A
LLVM
8,576 lines
4.1%
N/A
Ruby
4,477 lines
2.1%
N/A
Python
3,226 lines
1.5%
N/A
Other
2,274 lines
1.1%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Rust
Rust
C++
LLVM
Ruby
Python
Collaboration Network
Global Impact visualization
Repos
53
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
3 days
434
Contributions
252
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
5 total
Synced via GitHub
Top Repositories
tiger-cranelift
Tiger language implementation using cranelift
8
1
Rust
menoh-rs
A Rust wrapper of Menoh
5
0
Rust
solc-rust
Rust bindings for the Solidity compiler.
3
2
Rust
revm
Ethereum Virtual Machine written in rust that is fast and simple to use
1
0
Rust
fe
Emerging smart contract language for the Ethereum blockchain.
1
0
Rust
ruff
An extremely fast Python linter and code formatter, written in Rust.
0
0
Rust
yul-sonatina
0
0
Rust
solcore
experimental solidity compiler
0
0
Haskell
lean4
Lean 4 programming language and theorem prover
0
0
Lean
a-mir-formality
a model of MIR and the Rust type/trait system
0
0
Rust
Open Source Impact
Contributions to external projects
235 merged PRs
Contributed to 2 repositories