Software Developer

Saleh Alakhras

Full Stack Developer • .NET • Angular • Systems

I build and maintain enterprise web applications day-to-day, and dig into lower-level problems in my own time — compiler internals, C++ backends, and constraint solvers. I like understanding how things work all the way down.

View Projects Get In Touch
About

Background

I'm a full stack developer building and maintaining enterprise web applications — Angular frontends, .NET backends, EF Core data layers, and MSSQL databases. I care about code that's correct, maintainable, and doesn't surprise the people who have to work with it later.

Outside of enterprise work I'm drawn to lower-level problems: C++ server backends, compiler output, and tools that make complex systems more legible to developers.

Currently applying formal methods via Microsoft Z3 to scheduling problems that would otherwise require fragile hand-tuned heuristics — if a constraint can't be satisfied, the solver tells you exactly why.

Location Irbid, Jordan
Domain sa-dev.net
Focus Full Stack / .NET
Status Building
Work

Projects

Live Open
ExplainCC
Paste C++ code, get back a structured breakdown of every optimization the compiler applied — function inlining, loop unrolling, dead-code elimination, vectorization, and more. Built to make compiler output readable for developers at any level.
C++ httplib Vanilla JS HTML/CSS
GCC / Clang Visit ↗
◈
In Progress
SMT Schedule Solver
Given an employee roster, individual availabilities, required weekly shifts, and hard constraints (e.g. "A and B cannot share a shift"), the solver returns a complete schedule that satisfies all constraints — or a precise explanation of which constraint is impossible to fulfil.
Microsoft Z3 SMT Python
Formal Methods Coming soon
Toolbox

Skills & Technologies

Frontend
  • Angular
  • TypeScript
  • JavaScript
  • HTML / CSS
Backend & Data
  • .NET / C#
  • EF Core
  • MSSQL / SQL
  • Hangfire
  • Aspose .NET
Systems & Tools
  • C / C++
  • Microsoft Z3 / SMT
  • Linux / Nginx
  • GCC / Clang
  • Python
Contact

Get In Touch

I'm open to collaborations, interesting engineering problems, or just talking about compilers and formal methods. Reach out through any of the channels below.

✉ Email ◎ sa-dev.net