Skip to content
View BIRSAx2's full-sized avatar
12 followers · 0 following

Achievements

Achievement: StarstruckAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: StarstruckAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Block or report BIRSAx2

Report abuse

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

Report abuse
BIRSAx2/README.md

Mouhieddine Sabir

Backend Engineer · MSc Computer Science @ Aarhus University

mouhieddine.dev  ·  LinkedIn  ·  me@mouhieddine.dev


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.

Tech Stack




Pinned Loading

  1. mdcat mdcat Public

    cat for markdown

    Rust 96 8

  2. tiny-redis tiny-redis Public

    A Redis-compatible server written in Rust

    Rust

  3. 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

  4. ibn-battuta ibn-battuta Public

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

    Rust 1

  5. CoqHM CoqHM Public

    Formally Verified Hindley-Milner Type Inference in Coq

    Rocq Prover 1

  6. sifr sifr Public

    Compile-time information flow control for Rust. Labels sensitive values at the type level; the compiler rejects unsafe flows.

    Rust