Yeowoo Labs Source ↗
Yeowoo Labs

One datum.
One byte shape.

Languages, verifiers, storage engines, and display runtimes built without redundant layers.

Architecture Benchmarks
Unified Byte Pipeline · Select a stage to inspect
01 · STATIC VERIFICATION (aup → .pmod)
Types, stack depth, loop ceilings, and memory bounds proven before load.
4,632 B
C17 Core
Verification

Zero translation.
Measured on metal.

Governed by pre-declared kill-bars on identical ARM64 hardware.

Durable Flash OLTP
5-transaction TPC-C ACID mix with fsync (tx/s)
Yeowoo Pure (PURETRE3) 4,980 tx/s
Tuned SQLite WAL (Group Commit) 739 tx/s
6.7×
Record-only commits vs. 4 KB page rewrites (8–18× fewer bytes written).
research/092 & 106 ↗
Integration

Four layers. One binary contract.

Pure · aup · Vega

C17 and libc only.

Compiler, B+tree storage engine, and display runtime share a single verified .pmod module across ARM64, x86_64, and Apple Silicon.

4,632 B
Execution core
2.3 MiB
100 isolated apps
0.79 ms
Wire to display
Falsification

140+ kill-bar reports.

Validated against NIST, RFC, and TPC-C suites. Hypotheses that miss their threshold are reverted and published.

1,053 deterministic checks Evidence →
Next
Systems Architecture
→
Systems

Four worlds.
One contract.

Compiler, database, transport, and display runtime unified around a single statically verified binary.

01 · Runtime, Storage & Link

Pure

Verifies types, stack depth, and loop bounds at load time with zero runtime AST. Commits columnar PURETRE3 B+tree leaves in a single writev + fsync while readers traverse the live root in place without locks.

4,632 B
C17 VM + Verifier
120 KiB
Memory per isolated app
1.1 ms
Hot-swap at 1M rows
git.yeowoo.org/pure Source ↗
02 · Language & Compiler

aup

Compiles persistent state, atomic events, and read-only views into verified .pmod modules across 11 NIST, RFC, and TPC-C workloads.

320 static checks Source ↗
03 · Surface Engine

Vega

Scans Pure's live snapshot directly into Terminal TUI, CLI, Web SSE, and 60 fps Linux KMS/evdev hardware surfaces.

60 fps direct KMS Source ↗
04 · Post-1.0 Trees

ray · bell · art

Kernel, design system, and operating environment scheduled after the 1.0 contract freeze.

Reserved trees ray ↗  ·  bell ↗  ·  art ↗
Next
Verified Benchmarks
→
Benchmarks

Every claim has a kill-bar.
Every survivor is public.

Rejection thresholds are written before code. Across 140 research notes, designs that missed their bar were excised.

OLTP · Notes 076, 092, 106

40,976 tx/s in RAM.
6.7× SQLite on flash.

Full 5-transaction TPC-C parity across 9 tables. Record-level commits write 8–18× fewer bytes than 4 KB page journals.

4,980 durable tx/s Notes ↗
Analytics · Note 091

3–420× faster without indexes.

Columnar leaf stripes complete 100k-row pgbench rank in 6.8 ms (vs. SQLite 2,840 ms) and branch aggregation in 4.9 ms.

0 index overhead Notes ↗
Multi-Tenancy · Notes 075, 111

100 apps in 2.3 MiB RSS.

21,300 durable HTTP writes/s across 64 connections. Co-located modules exchange 1.14M msg/s in-process without sockets.

120 KiB per app Notes ↗
Transport · Notes 088, 093–102

462k sealed msg/s.

0-RTT HPKE from the first datagram with exactly-once delivery across crashes. 132 B per idle peer—1/289th of QUIC.

132 B per session Notes ↗
Next
Organization & Contact
→
Organization

Yeowoo Labs.
First-principles systems.

Independent systems research and software engineering lab based in Seoul.

01 · Runtimes

Zero-Copy Storage

C17 virtual machines, static bytecode verifiers, and copy-on-write B+tree engines.

02 · Compilers

Verified Toolchains

Deterministic compilation proving types and bounds across ARM64, x86_64, and Apple Silicon.

03 · Surfaces

Wire to Pixel

0-RTT encrypted transport and unified Linux KMS, native, TUI, and web runtimes.

Lab
Yeowoo Labs — Systems Research & Engineering
Lead
Sunwoo Moon — Founder & Systems Architect
Discipline
C17 + libc · Zero third-party runtime dependencies · Falsification R&D
Base
Seoul, Republic of Korea
Repositories
git.yeowoo.org  ·  github.com/eunhhu
Contact
[email protected]
Return
Overview
↑