# Projects — Dmytro Yemelianov [Open the native project list](https://yemelianov.dev/?tab=projects) ## RAPS An open-core Rust CLI and MCP server that exposes 16 Autodesk Platform Services APIs to AI agents via typed contracts and 51 robust tools. [Details](https://yemelianov.dev/projects/raps.md) · [WASM](https://yemelianov.dev/?project=raps&detail=1) ## Dry A typed, units-aware multi-level IR and Rust engine for algorithmic machine toolpaths (FFF/CNC/laser/robot) — LLVM/MLIR for machine motion. [Details](https://yemelianov.dev/projects/dry.md) · [WASM](https://yemelianov.dev/?project=dry&detail=1) ## Glueball A CAD-agnostic routed-assembly solver for frames, weldments, tube & pipe, and wire harnesses that compiles 3D graphs into deterministic build plans without linking a geometry kernel. [Details](https://yemelianov.dev/projects/glueball.md) · [WASM](https://yemelianov.dev/?project=glueball&detail=1) ## Klen A universal kernel for describing, executing, and formally verifying system safety contracts and state machine invariants in Lean 4. [Details](https://yemelianov.dev/projects/klen.md) · [WASM](https://yemelianov.dev/?project=klen&detail=1) ## FTTH CAD Lineage Four generations of FTTH design tooling (FiberCAD → Gluon → Photon → Muon). Gluon replaces an LLM-authors-the-drawing approach with a deterministic pipeline where the LLM acts only as an advisor via a tool-use agent. [Details](https://yemelianov.dev/projects/ftth-cad-lineage.md) · [WASM](https://yemelianov.dev/?project=ftth-cad-lineage&detail=1) ## VPA Verified Portable Assembly — a safe, formally verified low-level virtual assembly language, reference interpreter, Lean 4 proof framework, and native/WASM compiler pipeline. [Details](https://yemelianov.dev/projects/vpa.md) · [WASM](https://yemelianov.dev/?project=vpa&detail=1) ## Barvinca A Cloudflare-native SaaS suite of 17 specialized bulk-management, synchronization, and automation tools for Autodesk Construction Cloud (ACC) and BIM/VDC workflows. [Details](https://yemelianov.dev/projects/barvinca.md) · [WASM](https://yemelianov.dev/?project=barvinca&detail=1) ## Upyr Private English ↔ Ukrainian keyboard-layout correction in Rust — local n-gram inference, zero telemetry, installable via Homebrew. [Details](https://yemelianov.dev/projects/upyr.md) · [WASM](https://yemelianov.dev/?project=upyr&detail=1) ## Dryer A modular multi-MCU 3D printer host controller daemon, packet-framed transport adapter with CRC-32C validation, and simulation framework in Rust. [Details](https://yemelianov.dev/projects/dryer.md) · [WASM](https://yemelianov.dev/?project=dryer&detail=1) ## Verbacorpus An open, source-attributed corpus of 48,787 Ukrainian proverbs and adages (1841–today) — searchable PWA plus a multi-format REST API. [Details](https://yemelianov.dev/projects/verbacorpus.md) · [WASM](https://yemelianov.dev/?project=verbacorpus&detail=1) ## Ukrainian Pattern Archive Embroidery-chart OCR to a deduplicated corpus: symmetry-invariant signatures (frieze groups) turn scanned vyshyvanka charts into editable parametric pattern formulas. [Details](https://yemelianov.dev/projects/ukrainian-pattern-archive.md) · [WASM](https://yemelianov.dev/?project=ukrainian-pattern-archive&detail=1) ## Nasinnia A raster-first API and rendering engine for historical Ukrainian typography, pixel fonts, and bitmap glyph matrix generation. [Details](https://yemelianov.dev/projects/nasinnia.md) · [WASM](https://yemelianov.dev/?project=nasinnia&detail=1) ## Criticality Lab A native Rust + wgpu lattice-physics playground: Ising model, sandpile avalanches, and forest-fire dynamics rendered in real time on Metal. [Details](https://yemelianov.dev/projects/criticality-lab.md) · [WASM](https://yemelianov.dev/?project=criticality-lab&detail=1) ## Tawara A high-assurance optical media verification and byte-level scanning engine written in Rust and compiled to WebAssembly. [Details](https://yemelianov.dev/projects/tawara.md) · [WASM](https://yemelianov.dev/?project=tawara&detail=1) ## Media Glitch A format-aware binary glitch engine (Rust/WASM + Python) that mutates JPEG, PNG, WebP, and GIF bytes while keeping every container structurally valid. [Details](https://yemelianov.dev/projects/media-glitch.md) · [WASM](https://yemelianov.dev/?project=media-glitch&detail=1) ## Emoji Madness A native macOS generative visualizer rendering animated 3D emoji fields with Metal — bloom, afterglow, motion blur, and hue drift. Born as a Three.js prototype. [Details](https://yemelianov.dev/projects/emoji-madness.md) · [WASM](https://yemelianov.dev/?project=emoji-madness&detail=1) ## maked A zero-dependency POSIX make implementation with GNU extensions in Rust, an executable Lean 4 model, and differential fuzzing against GNU make. [Details](https://yemelianov.dev/projects/maked.md) · [WASM](https://yemelianov.dev/?project=maked&detail=1) ## AutoCADED A Rust reconstruction of AutoCAD 1.4's 1983 drafting workflow, with native and WebAssembly editors, DWG/DXF codecs, and differential tests against the original. [Details](https://yemelianov.dev/projects/autocaded.md) · [WASM](https://yemelianov.dev/?project=autocaded&detail=1) ## NetHackED A Rust reimplementation of selected NetHack mechanics, with a playable WebAssembly terminal, deterministic simulation, agent interfaces, and Lean 4 models. [Details](https://yemelianov.dev/projects/nethacked.md) · [WASM](https://yemelianov.dev/?project=nethacked&detail=1) ## Pixel SSH An interactive retro portfolio with one Rust application core, a WebAssembly/WebGL2 browser canvas, and an ANSI terminal over SSH. [Details](https://yemelianov.dev/projects/pixel-ssh.md) · [WASM](https://yemelianov.dev/?project=pixel-ssh&detail=1)