koshelev.works / and-creates
fuckfake.review

Fake review detector for Google Maps. Made after I was scammed a few times into bad service because Google doesn't verify reviews properly — so I'm doing it myself now.

howisgt.life

Campus mood-meter for Georgia Tech. Sentiment analysis on Reddit. Funny enough, this came from an AI hackathon without using any AI. Here's a little artifact from that day.

DISCO

LLVM compiler pass for detecting string formatting issues using dependent types.

pfind

Parallel implementation of Linux find command using OpenMP.

SVF Reachability Analysis

Static reachability analysis using SVF and LLVM IR. Generates ICFG for dead code elimination.

Twin-Width Heuristics

Bachelor thesis. Heuristic solver for the twin-width problem. Slides.

Federated Marketplaces

Mastodon but for Amazon. Microservice-based federated shops. TU Berlin project. Slides.

Vertex Cover Solver

Branch-and-reduce with packing constraints. Automated parameter optimization.

Findbotel

Telegram bot for booking package tours. Optimized search over 15GB+ dataset. GenDev scholarship project.

MTS

TU Berlin module catalog as a Telegram bot. Parser, pagination, review system.