---

👨🏻‍💻  About

Backend Engineer at MultiSafepay working on payment infrastructure, transaction flows, event-driven pipelines, and financial reconciliation. Currently pursuing an MSc in Computer Science at Aarhus University, specialising in Software Foundations & Technology. I gravitate toward systems programming, distributed systems, compilers, and type theory.

🌐 Full portfolio & interactive CV at mouhieddine.dev

---

🚀  Featured Projects

🗄️ tiny-redis Redis-compatible server from scratch, RESP2 protocol, all 5 data structures, MULTI/EXEC transactions, AOF persistence, 5 eviction policies.	🐬 dolphin Full-pipeline compiler for a statically-typed language, Menhir parser, type inference, LLVM IR codegen, C runtime with networking.
🔬 CoqHM Formal verification of Hindley-Milner type inference proved sound in the Rocq proof assistant.	🗺️ ibn-battuta TSP solver library, exact (BHK, B&B), heuristic (2-Opt, LK), and metaheuristic (ACS, GA, SA) algorithms. Published on crates.io.
🎨 random-art Procedural abstract art via recursive expression grammars, renders to PNG or real-time GLSL shaders.

---

🛠  Tech Stack

Languages

Java Ecosystem

Rust Ecosystem

Databases

Infrastructure & Observability

Tooling

---

📊  Stats

 

---

♟️  Chess Tournament

This is an open chess tournament where ANYONE can play. That's the fun part. It's your turn to play! Move a white piece.

	A	B	C	D	E	F	G	H
8									8
7									7
6									6
5									5
4									4
3									3
2									2
1									1
	A	B	C	D	E	F	G	H

It's your turn to move! Choose one from the following table

FROM	TO (Just click a link!)
B1	A3, C3, D2
B2	A3, B3, B4
C2	C3, C4
D1	C1, D2, D3, E2, F3, G4, H5
D4	D5
E1	D2, E2
E4	E5
F1	A6, B5, C4, D3, E2, G2, H3
F2	F3, F4
G3	G4
G5	C1, D2, E3, E7, F4, F6, H4, H6
H1	G1
H2	H3, H4

Having fun? Ask a friend to do the next move!

Last 5 moves in this game

Move	Author
E8 to F7	@BIRSAx2
E5 to F7	@Diebbo
A4 to A3	@kkkont
F3 to E5	@Diebbo
G7 to G6	@BIRSAx2

Top 10 most moves across all games

Total moves	User
6	@BIRSAx2
2	@antoniotangaro
2	@Diebbo
1	@Dutta78
1	@imAlessas
1	@jacopo-angeli
1	@kkkont