Dmytro Yemelianov

systems · CAD tooling · compilers · Rust

I build tools where geometry meets machines: a toolpath compiler with a typed, units-aware IR; CAD automation for fiber-network design; and developer tooling for engineering platforms. On the side — language and cultural-heritage software for Ukraine, generative-art experiments, and market-intelligence pipelines that turn public developer forums into product signal.

Projects

engineering/

author ──▶ IR ──▶ lower ──▶ verify
                               │
                               ▼
                            G-code

Dry

A typed, units-aware multi-level IR and Rust engine for algorithmic machine toolpaths (FFF/CNC/laser/robot) — LLVM/MLIR for machine motion.

rustcompilerscnc3d-printingpublic★ 0 · G-code

  [node 1] ═══════(member)═══════ [node 2]
     ║                               ║     
 (weldment)                       (harness)
     ║                               ║     
  [node 3] ───────(plan.json)───── [node 4]

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.

rustcad-enginesolverscompilersprivate

  theorem safety_invariant : ValidState   
  ├── intro state h_valid                  
  ├── cases h_valid                        
  └── exact verified_q_e_d

Klen

A universal kernel for describing, executing, and formally verifying system safety contracts and state machine invariants in Lean 4.

lean-4formal-methodsverificationrustlocal-only

                trunk
                  │
     ┌────────────┬────────────┐
 splitter     splitter     splitter
  │  │  │      │  │  │      │  │  │
  h  h  h      h  h  h      h  h  h

FTTH CAD Lineage

Four generations of FTTH design tooling (FiberCAD → Gluon → Photon → Muon): an AutoCAD plugin plus Python sidecar that turns a civil basemap into permit- and construction-ready DWGs.

pythonautocadftthcad-automationprivate

┌──────────────┐   ┌──────────────┐
│  frame: A1   │──▶│  prompt: AST │
└──────────────┘   └──────────────┘
  layout · lowering · verification

VPA

Verified Portable Assembly — a safe, formally verified low-level virtual assembly language, reference interpreter, Lean 4 proof framework, and native/WASM compiler pipeline.

compilersformal-verificationassemblyrustpythonprivate

products/

┌───────────────────────────────────┐
│  barvinca bulk-add --dry-run sync │
└───────────────────────────────────┘
  17 tools · cloudflare · acc/bim

Barvinca

A Cloudflare-native SaaS suite of 17 specialized bulk-management, synchronization, and automation tools for Autodesk Construction Cloud (ACC) and BIM/VDC workflows.

typescriptcloudflare-workersturborepoaccbimprivate

[ q w e r t y u i o p ]
           ✕
[ й ц у к е н г ш щ з ]
  ghbdsn  ──▶  привіт

Upyr

Private English ↔ Ukrainian keyboard-layout correction in Rust — local n-gram inference, zero telemetry, installable via Homebrew.

rustnlpprivacymacospublic★ 5 · Rust

┌─────────────────────────────────────────┐
│  daemon ──[CRC-32C]──▶ transport ──▶ MCU │
└─────────────────────────────────────────┘
   lock · flash-plan · sim · clock-sync

Dryer

A modular multi-MCU 3D printer host controller daemon, packet-framed transport adapter with CRC-32C validation, and simulation framework in Rust.

rustembedded3d-printingprotocolsasyncprivate

ukrainian-culture/

┌──────────────────────────────┐
│ "По заході сонця —           │
│  дідьча година."  — Franko   │
│ "Не все те золото,           │
│  що блищить."                │
└──────────────────────────────┘

Verbacorpus

An open, source-attributed corpus of 48,787 Ukrainian proverbs and adages (1841–today) — searchable PWA plus a multi-format REST API.

typescriptpwaapiukrainianpublic★ 4 · TypeScript

. . . . . x . . . . .
. . . x . . . x . . .
. x . . . . . . . x .
. . . x . . . x . . .
. . . . . x . . . . .

Ukrainian Pattern Archive

Embroidery-chart OCR to a deduplicated corpus: symmetry-invariant signatures (frieze groups) turn scanned vyshyvanka charts into editable parametric pattern formulas.

pythonocrcomputational-geometrycultural-heritageprivatein progress

  ■ ■ ■   ■■■■■   ■   ■   ■■■■■   
  ■   ■   ■   ■   ■   ■   ■       
  ■■■■■   ■■■■■   ■   ■   ■■■■■   
  ■   ■   ■       ■   ■       ■   
  ■   ■   ■        ■■■    ■■■■■

Nasinnia

A raster-first API and rendering engine for historical Ukrainian typography, pixel fonts, and bitmap glyph matrix generation.

typescripttypographycanvasukrainian-culturelocal-only

creative-experiments/

. . . . . . . . . . .
. . . # # # . . . . .
. . # # # # # . . . .
. . . # # # . . . . .
. . . . # . . . . . .

Criticality Lab

A native Rust + wgpu lattice-physics playground: Ising model, sandpile avalanches, and forest-fire dynamics rendered in real time on Metal.

rustwgpusimulationphysicslocal-only

      . - ~ ~ - .      [ sector 0x4F0 ]   
    /     ###     \    checksum: PASS    
   |    # (O) #    |   entropy:  0.9982   
    \     ###     /    verified: 100%    
      ` - . . - '

Tawara

A high-assurance optical media verification and byte-level scanning engine written in Rust and compiled to WebAssembly.

rustwasmverificationcryptographymediaprivate

01001010 01101100 01011010
0100#010 011%1100 0&0110@0
01@0#01# 0%1&110* #0*11#0%

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.

rustwasmglitch-artfile-formatslocal-only

    :) ^_^ :D
 ^_^ :) :D :) ^_^
:D :) ^_^ :) :D :)
 ^_^ :) :D :) ^_^
    :) ^_^ :D

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.

swiftmetalgenerative-artprivate