Official current baseline

Vais

A .vais language and self-host compiler workspace. The public compiler command is scripts/vaisc, and public claims are limited to repository gates.

Open playground Language reference
Current toolchain scripts/vaisc 
scripts/vaisc doctor
scripts/vaisc run examples/c4.vais
scripts/vaisc build examples/c4.vais -o /tmp/c4
scripts/vais-check examples/c4.vais
Source .vais
Compiler scripts/vaisc
Checker scripts/vais-check
Release corpus 74 examples

Start

Compile and check a Vais file.

The repository keeps one public compiler path and one public checker path. Use the playground for quick editing, then use scripts/vaisc for full local compilation.

01

Use the playground

Open the separate coding workspace, edit a tutorial program, and run the browser subset for immediate feedback.

Open /playground/
02

Run locally

Clone the repository and run the same examples through the native public compiler.

scripts/vaisc run examples/c4.vais
03

Build output

Emit LLVM IR or build a native binary with clang through the public driver.

scripts/vaisc build examples/c4.vais -o /tmp/c4

Language

Small, explicit, gate-backed.

Current public syntax uses full-word forms such as fn, let, if, while, for, struct, enum, match, and return. Older compact syntax is not part of this mainline.

Language reference Examples
ScalarInt, Bool, Char, Str
CollectionsList slices, local Map<Int,Int/Bool/Char>
Controlif, while, match, return
Moduleslocal dotted imports, vais.toml paths

Compiler

The public driver is scripts/vaisc.

The native driver links the reusable self-host compiler core, emits LLVM IR, and uses clang for native binaries. Standalone installs are produced from this repository.

Drivertools/vaisc_native.c
Corecompiler/self/vaisc_core.ll
Sourcecompiler/self/fixpoint_full.vais
Installscripts/install-vaisc.sh

Verification

The site follows the gates.

If a feature is not protected by a script gate or parity manifest entry, it should not be advertised as current Vais.

Fronttest-vaisc-front.sh
Paritytest-vaisc-parity.sh
Valuetest.sh
Self-hosttest-fixpoint-full-self.sh
Codegentest-fixpoint-full.sh
Releasetest-release-gates.sh