Projects

Showcasing impactful projects and technical achievements.

img
Meshtastic Network Monitoring Suite

Monitoring suite for Meshtastic networks with automatic SPLAT! coverage calculation, redundancy analysis, and Dockerized microservices.

Backend
Full Stack
img
DevSecOps Pipeline Implementation

Academic end-to-end GitLab CI/CD pipeline with Kubernetes, Argo CD GitOps, and integrated SAST/SCA/DAST security gates.

Backend
img
Peer-to-Peer SecureChat Application

Decentralized P2P chat with Kademlia discovery, Chord/DHT routing, and Diffie-Hellman + AES secured messaging.

Backend
img
HTTP Server (Java)

Custom HTTP server built in Java from scratch — request parsing, routing, and response handling without frameworks.

Backend
img
WHILE Language — OCaml & Rocq Proofs

Formal methods project: WHILEb/WHILEb-- parsers in OCaml, natural semantics, and machine-checked proofs in Rocq (Coq).

Backend
img
Java Producer–Consumer Application

Classic producer–consumer concurrency pattern in Java with thread-safe queues and coordinated worker threads.

Backend