SOURCE
Windvale language
Typed modules, immutable data, records, enums, control flow, and explicit capabilities.
.wv
Language → bytecode → machine → OS
A computing stack you can follow all the way down.
Windvale is an open-source experiment in building a new language, its compiler, verified runtime, native toolchain, and a small operating system—one explicit contract at a time.
- MITOpen source
- WVBCanonical bytecode
- Win + LinuxPermanent hosts
Live now Browser compiler + verified runtime
Launch
Understandable at every layer
Explicit capabilities
Reproducible bytes
Verified before execution
01 / THE WHOLE PATH
One stack. No invisible middle.
Each layer has a named contract, a test boundary, and a reason to exist. The host helps Windvale run; it does not define what Windvale means.
semantic analysis
COMPILER
Typed lowering
Source becomes explicit typed evidence before any execution target is selected.
WIR
canonical encoding
PORTABLE IDENTITY
Verified bytecode
Canonical WVB is decoded, bounded, and independently verified before execution.
.wvb
Windows + Linux
Reference runtime and the advancing shared native execution path.
WebAssembly host
The Stage 0 playground compiles, verifies, and runs locally in your browser.
Windvale OS
A small x86-64 operating system as the vertical integration target.
02 / RUNNING EVIDENCE
Not a slide deck. Working paths.
module Helloˉwindvale profile hosted;
capability console.write_line;
data Greeting: text =
"Hello from Windvale";
export fn Main() -> i32 {
console.write_line(Greeting);
return 0;
}
VERIFIED OUTPUT
Hello from Windvale
Exit 0 · capability explicitly authorized
Source to verified execution
The same portable semantics run on Windows, Linux, and inside the browser playground.
Run it yourself →Assembly to native image
Windvale assembly becomes verified WVO objects and deterministic linked x86-64 images.
Read the object contract →Language to operating system
The OS boot path already executes shared portable Windvale evidence after firmware handoff.
Explore the OS architecture →03 / EXPLICIT AUTHORITY
Portable where possible. Powerful where declared.
Windvale does not hide host access behind convenience APIs. A module says what kind of world it expects.
Portable
Deterministic computation without ambient host state. The broadest path across runtimes and machines.
Hosted
Named services such as console or file access, declared by the module and authorized by the launcher.
System
Visible machine authority for kernels, drivers, and other code that deliberately crosses the safety boundary.
04 / DIRECTION
Build upward without losing sight of the machine.
-
01
Self-host the language
Move compiler ownership from the recoverable Stage 0 implementation into qualified Windvale code.
-
02
Own native execution
Share verified semantics across interpretation, JIT, cached code, and deterministic AOT.
-
03
Close the vertical loop
Load, verify, and execute ordinary Windvale programs inside Windvale OS.
OPEN SOURCE · BUILT IN PUBLIC
Every contract is there to question.
Windvale is MIT-licensed and developed as inspectable source, specifications, decisions, tests, and reproducible evidence. AI systems author the implementation under human direction and review; humans decide what the project accepts and publishes.