Imperial College London, Soterial Tools Ltd.
London
38
Followers
30
Following
40
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 10 owned repositories
5.0M
Total LOC
JavaScript
1,722,009 lines
34.6%
N/A
OCaml
977,416 lines
19.7%
N/A
C
721,843 lines
14.5%
N/A
TeX
710,513 lines
14.3%
N/A
Java
301,921 lines
6.1%
N/A
Other
538,947 lines
10.8%
N/A
∞
Generalist Developer
G-shapedVersatile across many languages and paradigms
JavaScript
OCaml
C
TeX
Java
Collaboration Network
Global Impact visualization
Repos
45
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
6 days
1,717
Contributions
654
Commits
207
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
30 total
Synced via GitHub
Top Repositories
dofus-quests
6
2
Svelte
gbc-emulator
An accurate Gameboy Color emulator, written in TypeScript
3
1
TypeScript
msc-transformers-eval-script
1
0
JavaScript
blog
It's a blog - not much to see here
1
0
MDX
generat1veart
Generative Art programs in Java! Some are inspired from inconvergent, check them out!
1
0
Java
team
Rust teams structure
0
0
Rust
soteria
Sound static analysis for the masses.
0
0
OCaml
ocaml
OCaml support
0
0
Tree-sitter Query
rustc_codegen_gcc
libgccjit AOT codegen for rustc
0
0
Rust
rust
Empowering everyone to build reliable and efficient software.
0
0
Rust
Open Source Impact
Contributions to external projects
272 merged PRs
rust-lang/rust
113795
rust-lang/miri
6303
rust-lang/hashbrown
2943
rust-lang/team
350
GillianPlatform/collections-c-for-gillian
2
GillianPlatform/Gillian
101
rust-lang/rustc_codegen_gcc
1135
AeneasVerif/charon
366
AeneasVerif/aeneas
807
cryspen/hax
442
Contributed to 20 repositories