Brand Portfolio

The brands and products STUDIO HAZE builds and runs.

HAZE PARK

PARK·CANVAS·SOUND·STORY

The four divisions of STUDIO HAZE, one each for technology, visuals, music and stories.

STUDIO HAZE Teaser

STUDIO HAZE Teaser

The brand hub that gathers the four divisions of STUDIO HAZE and their projects. You are reading it now.

studiohaze.co.kr
ATLAS

ATLAS

Active

A typesetting tool for writers who shape their own pages. It turns a Word or Hangul manuscript into a print PDF, breaking lines a paragraph at a time.

atlasbind.com
Lispex

Lispex

Active

A programming language for each publisher's house style rules. Topaz apps run the rules, and the same rules and input always give the same decision.

lispex.com
Topaz

Topaz

Active

A programming language designed for typesetting books, reports and invoices. One source builds a native executable or a browser package, and the compiler is written in Topaz.

topaz.ooo
Lena Code

Lena Code

Active

A code analysis platform built on a deterministic pipeline. On Lena, our own language, and Facet IR, it understands, improves and transforms code across 30 languages.

lenacode.com
Core Semantic Kernel

Core Semantic Kernel

Active

The research programme of STUDIO HAZE. Its papers come with their implementations and the materials to reproduce the results.

cskernel.com
Project Vercel

Project Vercel

Active

A development harness designed by people. It divides work among agents, and the operator reviews what passes verification and gives the final approval.

vercel.co.kr
slow.monster

slow.monster

Active

The open lab of STUDIO HAZE, showing the commit pulse, language mix and checkable receipts of private repositories. Programs written in Topaz open their source here.

slow.monster
jeniapp

jeniapp

Active

Browser mini-tools written in Topaz. They run without an install, a login or a server, and the same input always gives the same output.

jeni.kr
kakao.games

kakao.games

Active

Home of Domain War, a choose-your-path text adventure. Its game logic is written in Topaz, so the same choices in the same order always tell the same story.

kakao.games
4LAB

4LAB

Active

A workbench that puts a forwarder's desk in one place. One bill of lading or booking number queries several carriers and maps the container and the vessel.

4lab.kr
codeimage.io

codeimage.io

Active

Turns source code into a program image and brings the program back from that image. With a key the original returns exactly, and every step happens inside the browser.

codeimage.io
sicp.io

sicp.io

Active

Structure and Interpretation of Computer Programs, learned by running every idea. All 105 lessons run their code with an execution trace in a Lispex workbench in the browser.

sicp.io
compiler.co.kr

compiler.co.kr

In Development

A computer science site that follows one line of code on its rollicking adventure inside the computer. Its first story, Hanjuri’s First Day at Work, asks where 1 + 2 goes.

compiler.co.kr
Project