Brand Portfolio

The brands STUDIO HAZE builds and grows. Each stands on its own, and together they form one universe.

HAZE PARK®

PARK·CANVAS·SOUND·STORY

STUDIO HAZE runs four divisions. HAZE PARK® takes tech, HAZE CANVAS® visuals, HAZE SOUND® music, and HAZE STORY® narrative. Each speaks its own language, yet they move as one story, carrying every project from first idea to final form.

  • HAZE PARK®
    Kernels, systems, languages, and infrastructure
    Visit Website
  • HAZE CANVAS®
    Visual atelier for photography, design, and film
    Visit Website
  • HAZE SOUND®
    Music label with modern production and analog warmth
    Visit Website
  • HAZE STORY®
    Publishing and narrative across books, essays, and stories
    Visit Website
STUDIO HAZE: Teaser

STUDIO HAZE: Teaser

Where the STUDIO HAZE story begins. A brand hub that weaves the work of all four divisions into one continuous thread. It is also the very website you are looking at right now.

ATLAS

ATLAS

Active

A cloud typesetting engine built for Korean publishing. Pairing the Knuth–Plass line-breaking algorithm with a Hangul-native shaping engine, it turns a manuscript straight into a print-ready PDF that reads like a real book. Self-publishers and independent presses get book-quality typesetting without expensive software or outsourced design.

Lispex

Lispex

Active

A deterministic, macro-free Lisp in the R7RS family. Its grammar and normalization rules are built so the same code always reads and runs the same way, with a reference interpreter written in Rust and a browser playground to run it directly. Within its checked subset, it also serves as the source and profile language of Core Semantic Kernel.

Topaz

Topaz

Active

A small, closed, Unicode-first programming language. You write intent in a syntax that reads like Python or TypeScript, and the compiler produces a self-contained native binary. Any given piece of code converges on one canonical form, and people and AI agents read and write it the same way. Supported surfaces are checked by differential gates across the run and build paths.

Lena Code

Lena Code

Active

STUDIO HAZE’s commercial multi-language code transformation platform. It runs on the Lena Engine, a proprietary engine of our own, designed on the verification principles that Core Semantic Kernel demonstrates publicly. What it cares about most is that code keeps its meaning when it changes languages.

Core Semantic Kernel

Core Semantic Kernel

Active

STUDIO HAZE’s official research programme. Papers and patents are recorded here first, and every claim ships with an artifact you can run. Three research lines, evidence, language, and orchestration, run inside the studio’s production systems. In 2026 six papers from these lines went out to international workshops and now sit on the public shelf. The evidence line’s reference implementation is Lispex Vouch, and the Lena Engine behind Lena Code, the studio’s commercial platform, is designed on the same verification principles.

Project Vercel

Project Vercel

Active

The orchestration harness that runs STUDIO HAZE’s autonomous lab. It decomposes work into typed execution graphs, routes each subtask to the agent node best fitted for it, and accepts an output only after cross-agent validation. More and more of this universe is built under its watch.

slow.monster

slow.monster

Active

The open lab window of STUDIO HAZE. Private repositories are shown as living specimens with commit pulses, language mixes, and receipts anyone can check. What leaves the lab is the proof, never the source. The numbers on the page rise on their own as each repository publishes its vitals.

kakao.games

kakao.games

Active

Home of Domain War, a strategy mini-game about claiming digital territory. The rules are simple, but the mind games run deep. Grow your domain, outwit your rivals, and meet the brand through play itself. Domain War is written in Topaz and runs right in the browser.

jeniapp

jeniapp

Active

A collection of browser mini-tools written entirely in Topaz and compiled to a single WebAssembly. Each one runs with no install, no login, and no server. Execution is deterministic, so the same input always gives the same output. The tools double as a proving ground that grows the Topaz language and as a public window where anyone can touch PARK’s technology firsthand.