projects
- Constraint Satisfaction Solver API
Spring Boot microservice exposing a constraint satisfaction problem solver via REST API. Implemented backtracking search with AC-3 arc consistency, MRV heuristics, and forward checking. Supports n-queens, graph coloring, and custom constraints. Benchmarked solving 1000-queen problem in under 2 seconds.
- Quantum Circuit Simulator
Full-stack quantum computing simulator with React frontend featuring drag-and-drop circuit builder, Bloch sphere visualization, and real-time state amplitude display. Python backend implementing state vector simulation for up to 10 qubits. Includes interactive demos of Deutsch-Jozsa, Grover's search, and quantum teleportation.
- BAGL Compiler
Compiler written in OCaml for BAGL, a statically-typed functional language with first-class tensor support. Implements lexical analysis, recursive descent parsing, Hindley-Milner type inference with dimension variables for compile-time tensor shape verification, intermediate representation with optimization passes, and bytecode generation targeting a custom stack-based virtual machine.
- Enterprise Document Management System
Full-stack desktop + web app for managing official government correspondence. Built with .NET 9 (ASP.NET Core API, Blazor Server, Avalonia desktop client), SQLite, and JWT auth. Features multi-stage document workflows, Arabic OCR via a 2B-parameter vision-language model (Qari), digital signatures, full-text search, and bilingual Arabic/English support with RTL layout. Runs entirely on LAN with no cloud dependency.