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
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%
enrichment
0
0
updated about 2 years ago • age about 2 years
Lean
100.0%
miniptr
0
0
updated over 2 years ago • age over 2 years
Rust
100.0%
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
2019
rust
2 PRs
+1,372
-1,320
Rust
107,277
13,866
141
