Projects

Serverless AI code review application powered by Cloudflare Workers AI, with a React frontend and Cloudflare KV used for persistent review storage.

Type checker for Java that uses liquid types and typestates to provide stronger compile-time guarantees, helping developers catch more bugs earlier in the development process. Contributed with 100+ merged PRs focused on improving diagnostic messages and enhancing the core verifier.

VS Code extension that automatically runs LiquidJava verification and reports diagnostics through LSP. Contributed with 70+ merged PRs focused on improving developer experience by enhancing the way developers read, write, and debug LiquidJava refinements.

Very simple verifier created to explore liquid types, parsing, and SMT-based verification before working on LiquidJava.

Compiler for a small imperative expression-oriented language, covering lexing, parsing, AST construction, and LLVM-based code generation.

REST API implemented in Go backed by a microservices architecture, using gRPC for internal service communication and deployed on Google Cloud Platform with Kubernetes.

Local password manager with AES-256-GCM-SIV encryption, Argon2id key derivation, credential leak prevention, session and clipboard TTL behavior, password generation, and password strength analysis.

Simple REST API for shortening URLs built with the Axum framework.

Real-time web app for document collaboration using CRDT-based conflict resolution, live Markdown rendering, workspace access control, folder organization, and document version history.

Rust and Go library for converting data to and from JSON, with accessor utilities and a pipeline-oriented internal architecture.

Mobile app for the Stranger Things universe with cross-dimensional communication through portals and binary-coded signals.

Pygame implementation of the classic Conway’s Game of Life, that allows users to place cells on a grid and watch the simulation evolve through generations.

Web API and React frontend for playing Gomoku online, with user authentication, game state management, and a responsive UI.

Mobile application for playing Gomoku through the Web API, built with Kotlin and Jetpack Compose.

Trello-like tool for organizing work through boards, lists, and cards in a practical task management workflow.

Drawing and guessing multiplayer game inspired by Skribbl.io, built with a Socket.IO and p5.js.

Python command-line utility that scans directories and lists large files or folders using directory traversal and file-size analysis.

Turn-based checkers game implemented as a desktop application.

Web app for searching and organizing movie information, built around a data-driven interface backed by Elasticsearch.

Simple HTTP client implementation for experimenting with network programming and manual request handling.

Browser implementation of the word-guessing game as a SPA implemented in JavaScript with Node.js and Express.

Python and OpenCV computer vision project for experimenting with image processing and real-time object detection.

Simple conversational AI project built with Python and TensorFlow as practice with deep learning concepts.

Python solutions to Advent of Code challenges across multiple years, focused on algorithmic problem solving and programming practice.

Python CLI utility using psutil and data classes to inspect CPU load, memory usage, and disk usage on a local machine.

Kotlin Compose Desktop application for interactively exploring pathfinding algorithms through direct visual feedback.

Text-editing utility built with Node.js and Electron, focused on desktop UI fundamentals and simple local note editing.

Python Discord bot with slash commands for greetings, games, arithmetic, status changes, translation, GitHub repository lookup, and other utility actions.

Unity and C# side project for exploring game development through a simple mobile platformer.

CLI typing speed test program that displays words per minute in real time as the user types a sentence fetched from the ZenQuotes API.