01Available · v0.1
The foundation
An open-source compiler, typed language, and native & WASM targets.
Explore the compiler
v0.1A new language, out in the open
A language
A language
for agents.
A future
without bugs.
AI agents are changing how we build software.
Wosy is a language for what comes next.
Open source. Built in the open. Yours to explore.
that's Woby.
your new coding companion
your new coding companion
main.wWOSY
%%start
i32 minimum = -2147483648;
u32 maximum = 4294967295;
%%endlet's build something good.
MADE FOR THE NEXT WAY TO BUILDMeet the language
Agent-first thinkingCompiled to native & WASMApache 2.0
THE LANGUAGE
A fresh start for software,
one line at a time.
Easy to read.
Ready to build.
A small, typed language with a native compiler. Familiar enough to start reading. Deliberate enough to build on.
01
Code you can follow
Clear types, functions, and control flow keep the structure in view.
02
Real compiled output
LLVM-backed compilation targets native binaries and WebAssembly.
03
Open at every step
Read the compiler, inspect the build, and follow the work on GitHub.
%%start
i32 minimum = -2147483648;
u32 maximum = 4294967295;
%%endMAKE IT CONCRETE
Clear types. Explicit values. A place to start.
%%start
i32(i32) loop = fn(start) {
i32 value = start;
while (value < 3) {
value = value + 1;
}
value
};
i32 result = loop(0);
%%endMAKE IT EXPLICIT
Inputs, output, and intent, all in one place.
Examples from the repositoryView source
a little language.a big idea.
WHY WOSY EXISTS
More code isn't
the whole answer.
Agents can already generate software. The next challenge is making that software dependable.
Wosy starts with the language itself: a foundation where agents can build, reason about their work, and move toward stronger guarantees.
The goal? Software without bugs.
THE ROAD AHEAD
Follow the workBig ambition.
One step at a time.
The compiler is here. The bigger idea is taking shape. This is where Wosy stands today.
02In development
Memory, made explicit
Memory safety, ownership, and allocation are the next layer of the language.
Work in progress03Future direction
Stronger guarantees
Proofs, symbolic reasoning, and dependencies agents can inspect and adapt.
Research & explorationOPEN SOURCE. OPEN POSSIBILITIES.
Let's build
what comes next.
Read the code. Try the language. Help shape Wosy.
room for you, too.