Rankings
Badges
/
imbrem
Rankings
Badges
Overview
Ranks
Repositories
Languages
Jad Ghalayini
@imbrem
Refresh
Open GitHub
🇬🇧 Cambridge, United Kingdom
University of Cambridge
Profile age: almost 7 years
Updated 5 days ago
56 followers • 72 following
Contacts
jeg74@cl.cam.ac.uk
tekne.dev
https://gitlab.com/tekne
Organizations
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 4
Persona
Contributor
#476,260
#111,799
#237,470
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
proqnt
13
0
updated over 2 years ago • age over 2 years
Rust
100.0%
debruijn-ssa
10
1
1
updated 11 months ago • age over 1 year
Lean
100.0%
freyd-ssa
7
0
updated over 1 year ago • age over 1 year
Lean
100.0%
dlcf
3
0
updated 10 months ago • age 10 months
Lean
100.0%
wasm-dep-lcf
1
0
updated 9 months ago • age 10 months
Rust
73.0%
Typst
25.4%
Svelte
0.8%
JavaScript
0.7%
View all 7 repositories
Last Contributions
2025
LSpec
1 PR
+14
-14
Lean
62
11
1
2023
egg
1 PR
+15
-9
Rust
1,581
176
ecow
2 PRs
+128
-2
Rust
289
28
10
lean-sys
1 PR
+20
-4
Rust
40
6
2021
rust
1 PR
+1
-0
Rust
107,277
13,866
141
View all contributions
Latest Updates
23 Oct 2025
Followers Count:
55
56
08 Oct 2025
Followers Count:
56
55
09 Sep 2025
Followers Count:
55
56
23 Aug 2025
Followers Count:
52
55
09 Aug 2025
Followers Count:
51
52
16 Jan 2025
First seen
Subscribe to imbrem's GitHub rank updates in your messenger
WhatsApp
Telegram
