Skip to content
View BIRSAx2's full-sized avatar
9 followers · 10 following

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Block or report BIRSAx2

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
BIRSAx2/README.md

   

👨🏻‍💻  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

Pinned Loading

  1. tiny-redis tiny-redis Public

    A Redis-compatible server written in Rust

    Rust

  2. random-art random-art Public

    This project generates random art images based on a grammar that defines a set of operations and how they can be combined. The grammar uses a seed to produce a tree-like structure of operations, wh…

    Rust 1

  3. ibn-battuta ibn-battuta Public

    A Rust Library for Solving the Travelling Salesman Problem (TSP)

    Rust 1

  4. CoqHM CoqHM Public

    Formally Verified Hindley-Milner Type Inference in Coq

    Rocq Prover 1

  5. klotski klotski Public

    A multiplatform Klotski game with solver written in Java and LibGDX

    Java 2