Rankings
Badges
/
RiscInside
Rankings
Badges
Overview
Ranks
Repositories
Languages
Iurii Zamiatin
@RiscInside
Refresh
Open GitHub
🇬🇧 London
Imperial College London
Profile age: over 5 years
Updated 16 days ago
29 followers • 21 following
Contacts
www.linkedin.com/in/notiurii
Organizations
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 1
Persona
Influencer
#503,074
#1,348,973
#491,507
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
egraph-smt-bv
15
1
updated 4 months ago • age 12 months
Rust
49.1%
SMT
34.3%
Verilog
13.3%
Python
2.4%
LLVM
0.9%
LanguageEtudes
9
1
updated over 1 year ago • age over 1 year
OCaml
51.8%
Scala
48.2%
WACC-to-C
4
1
updated about 3 years ago • age over 3 years
C
97.3%
Shell
2.7%
ProofVerifier
3
0
updated about 4 years ago • age about 4 years
Haskell
100.0%
chronos
0
0
updated about 3 years ago • age about 3 years
C
96.6%
Makefile
3.4%
View all 6 repositories
Last Contributions
2025
egglog
2 PRs
+46
-38
Rust
630
71
2024
egglog
~8 PRs
+7
-9
Rust
630
71
2023
DRP-4
~22 PRs
+1,039
-181
Vue
0
1
2022
profuzzbench
1 PR
+70
-95
Shell
248
63
SaBRe
3 PRs
+459
-30
C
162
16
View all contributions
Latest Updates
11 Jul 2025
Followers Count:
26
29
25 Jan 2025
First seen
Subscribe to RiscInside's GitHub rank updates in your messenger
WhatsApp
Telegram
