AILANG Demos

Document intelligence, streaming protocols, 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.

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

Website Building

WASM AI-generated

Describe a website, upload content and photos, pick a style — AI generates a complete multi-page site. AILANG WASM runs Gemini in the browser. No server needed for generation.

→

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

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