AILANG Demos

Typed decisions, information-flow security, document intelligence, streaming, and contract-verified AI agents

WebAssembly Streaming Contracts Budgets

10,000% AI-Coded. AILANG itself is 100% AI-coded — language, compiler, type checker, effects, Z3 verification, WASM runtime, and stdlib. These demos are 100% AI-coded using AILANG. The compiler rejects anything that doesn't type-check, and contracts prove it safe.

Can you make it leak?

One secret. One public boundary. Try seven experiments, edit the AILANG, and watch the real compiler trace what can cross. Discover why hiding data is different from authorising its release.

Enter the leak lab →

Browser compilerInformation-flow labelsNo API key

Typed decisions, living creatures

Watch real Jev judgments become actions. Create a Noul, introduce an unfamiliar object, and inspect the probabilities behind its next move. Bring your own OpenRouter key; everything connects directly from your browser.

→

The deliberating Nouls

Give little creatures real Jev intuition. Describe characters and objects, watch their choices unfold, and replay the evidence. Runs in your browser with your OpenRouter key.

Live decisionsAILANG WASM

Document Intelligence

10 modules 28 contracts 5 formats

Parse, extract, and validate DOCX, PPTX, XLSX, PDF, and images with formal safety guarantees. 10 AILANG modules parse Office XML directly — no Python, no server. Every AI extraction is validated by contracts. 99.8% recall vs Unstructured in head-to-head benchmarks.

Explore Document Intelligence →

→

Document Extractor

Upload any document — text, image, or PDF — define a schema (or let AI detect one), and get validated, type-safe extraction results. 7 presets including invoice, receipt, and contract.

WASM Gemini API key

→

DocParse

Drop a DOCX, PPTX, XLSX, PDF, or image and get structured output — headings, tables with merged cells, track changes, comments. 10 AILANG modules parse Office XML directly in WASM. No server.

WASM

→

Z3 Verify

Prove contracts correct at compile time — no tests needed. 42 contracts verified, 4 bugs caught across cloud billing, access control, and scheduling modules. Z3 catches bugs invisible to testing.

WASM

→

AI + Contracts

AI extracts structured data from documents, then AILANG contracts validate every field before returning results. Deterministic validation of stochastic AI output.

WASM Gemini API key

Streaming & Voice

std/stream WebSocket SSE

Real-time streaming protocols — SSE, WebSocket bidirectional audio, and hybrid REST+SSE — all exercising AILANG's std/stream effect system. Each demo has a CLI module as its canonical integration test.

Explore Streaming Demos →

→

Voice DocParse

Upload a document and talk to it. Gemini Live bidirectional audio lets you ask questions about DOCX, PPTX, XLSX, PDF, and images conversationally. Documents parsed by AILANG WASM modules.

Gemini Live WebSocket API key

→

Claude Chat

Streaming text responses from Anthropic's Claude Messages API using Server-Sent Events. The canonical SSE demo — text fragments arrive progressively as the model generates them.

Anthropic Claude SSE Anthropic key

→

Gemini Live

Type text, hear it spoken. Gemini Live streams audio back over a bidirectional WebSocket with real-time playback. 30 voices available, native WAV generation.

Gemini Live WebSocket Bidi API key

→

Safe Agent

AI agent with tools (calculator, file reader, SQL) — every tool wrapped in AILANG contracts. Invalid arguments (path traversal, mutating SQL, overflow) are blocked before execution. Z3-provable.

Gemini WebSocket API key

→

Ambient Assistant

Always-listening voice assistant that responds when addressed. Gemini Live with proactive audio — the model decides when to speak based on conversation context.

Gemini Live Proactive Audio API key

Cognitive Commons

multi-tab 4 personas edit-lock

Open four tabs, assign each a persona (Visionary / Skeptic / Synthesizer / Archivist), and watch them debate. Every citizen's composition, persuasion judging, sentiment EWMA, and the leader edit-lock for the rolling working statement all run inside AILANG WASM modules. JS only handles constellation rendering and the BroadcastChannel cross-tab fabric.

→

Cognitive Commons

A live multi-tab AI debating society. Citizens compete to drag a shared sentiment dot toward their corner of a 2D plane; whoever leads holds the pen on the working statement. All compute — citizen, judge, EWMA, edit-lock — runs in AILANG WASM.

WASM BYO key multi-tab

Publishing & Outbound

WASM AI-generated contracts

AILANG creating things and putting them out in the world. Describe a website and watch it generate in your browser; or follow a LinkedIn campaign where the language itself is the author, OAuth dance and all.

→

Website Builder

Guided wizard: describe your site, upload photos and content, choose a style, and get a complete multi-page website generated by AI. Preview live, refine with chat, then download or publish.

WASM Gemini API key

→

LinkedIn — Posted by a Language

A LinkedIn campaign where AILANG is the author. The CLI handles OAuth2, REST publish, and comment ingestion under capability budgets. Comments land back on this page on the hour.

contracts Net @limit=1

Data & Analytics

Contracts BigQuery

BigQuery integration with contract-verified SQL generation. AILANG contracts guarantee that AI-generated queries are SELECT-only — no mutations, no injection, enforced at the language level.

→

GA4 Analytics

Six demos covering AI product recommendations, BigQuery analytics with live charts, contract verification forms, and a REST API with React UI. Shared AILANG services reused across the repo.

CLI BigQuery Contracts