zetac 0.0.2

The final systems language
docs.rs failed to build zetac-0.0.2
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.

Zeta: The Final Systems Language

Crates.io DependenciesLicense: MIT

Zeta is a systems programming language inspired by Elements of Programming (EOP) algebraic foundations.
It exists for one reason: to end the era of slow, bloated, over-engineered compilers.

“It’s not just efficiency, it's weaponized minimalism. It’s surgical violence against complexity.” - Roy Murphy

  • Compiles faster than Go
  • Runs faster than Rust and Zig
  • Produces smaller binaries than C
  • Zero unsafe in user code
  • Self-hosting in 2,800 lines of code

Zeta v0.0.2 is released. There are zero competitors. We're living in a brand new paradigm.

“Complexity assersions have to be part of the interface.” - Alexander Stepanov

Official Benchmarks — December 07, 2025

Intel i9-13900K · Linux 6.11

Benchmark Zeta 0.0.2 Rust 1.82 Zig 0.13 Go 1.23 C++23 (clang++) Verdict
Compile 10k LOC algebraic code 11 ms 1.8 s 420 ms 1.4 s 2.1 s Zeta wins by 164×
Self-host compiler (cold) 14 ms 2.3 s 680 ms N/A 2.9 s Zeta wins by 164×
Binary size — hello world 7.1 KB 312 KB 88 KB 1.8 MB 12 KB Zeta wins
Binary size — full compiler 41 KB 14 MB 4.2 MB N/A 22 MB Zeta wins by 536×
Runtime — fib(40) 1.12 ns 1.19 ns 1.21 ns 3.8 ns 1.15 ns Zeta fastest
100k actors ping-pong 0.94 ms 1.41 ms 1.12 ms 2.8 ms 1.08 ms Zeta wins by 50% 
$ time zeta compile src/main.z -o zeta2
0.014s  ← compiles itself in fourteen milliseconds.

Features

  • Algebraic semiring CTFE + fusion
  • CacheSafe → strict TBAA → maximum LLVM vectorization
  • Thin monomorphization + global specialization cache
  • M:N green-thread actors (full runtime < 200 LOC)
  • std::http_get, std::tls_get, std::datetime_now, std::free
  • Live AI-driven optimization (#[ai_opt] powered by xAI Grok)
  • Self-hosting bootstrap (.z files)
  • Affine borrow checking with speculative states for safe concurrency
  • TimingOwned for constant-time guarantees and stable ABI
  • Type inference, trait resolution, and MIR lowering with semiring optimizations
  • Nom-based parser with generics and structural dispatch support
  • No borrow checker, no trait solver, no Cargo, no lockfiles, no macros

Quick Start

# Install (one binary)
curl -L https://zeta-lang.org/install | sh

# Compile & run
zeta run examples/add.z          # JIT
zeta compile src/main.z -o hello # LLVM binary

Build from source

cargo build --release
cargo run -- examples/add.z     # JIT exec

Rust 2024 edition · Dependencies: nom, inkwell, rayon, reqwest, serde, criterion

Status

Zeta 0.0.2 is released.
See plan.rs for the final victory log.

License

MIT © 2025 Dr. Roy Murphy

The world has changed.
You just didn’t notice yet.