Full Stack
Full-Stack Demo: User Service
Full-Stack Demo: Client App
Full-Stack Demo: Todo API
TJS Platform
TJS: Typed JavaScript
TJS Interactive Examples
Featured
Starfield
TJS Grammar Reference
Vector Search Benchmark
Basics
Hello TJS
Required vs Optional
Object Types
Array Types
Control Flow: given
Dictionary Defaults
const! and Bang Access
Honest Equality
Polymorphic Functions
JS Footgun Fixes
Polymorphic Constructors
Safety & Validation
Better Classes
Local Class Extensions
Safer Code
Patterns
Higher-Order Functions
Async Functions
Error Handling
Flight Recorder
Schema Validation
Date Formatting (with import)
Local Module Imports
Lodash Utilities (with import)
Inline WASM
WASM SIMD
WASM Memory
WASM Functions (reusable kernels)
Advanced
The Universal Endpoint
Inline Tests: Test Private Functions
Predicate Types
Full Stack
Full-Stack Demo: User Service
Full-Stack Demo: Client App
Full-Stack Demo: Todo API
Unbundled
React Todo (Comparison)
tosijs Todo App
CDN Hints (overriding the default)
WASM Libraries
WASM Library: SIMD Linalg
Using a WASM Library
TJS: Typed JavaScript
TJS for JavaScript Programmers
JS Footguns That TJS Quietly Fixes
WASM in TJS
WASM Quick Start
Playground Imports
Context: Working with tosijs-schema
TJS Performance Guide
AJS (.ajs) - A Better JavaScript for AI Agents
AJS: The Agent Language
Safe Eval
AJS LLM System Prompt
AJS Examples
Featured
LLM + API Data
Fuel Limits
Basics
Hello World
Math Operations
Conditional Logic
Loop & Filter
String Processing
JSON Processing
Error Handling
APIs
Weather API
iTunes Search
GitHub Repos
LLMs
LLM Chat
LLM Summarizer
LLM Structured Output
Advanced
LLM with Tool
Multi-Agent Pipeline
Vision: OCR
Vision: Classification
LLM Code Solver
LLM Code Generator
AJS Patterns
The universal endpoint: isomorphic atoms, one security model
AJS Native VM (Rust → wasm) — post-1.0 direction
Running the LLM test suite (LM Studio setup)
MLX as the local-AI harness
seq (Sequence)
Store Module
Store Interface
In-Memory Store
IndexedDB Store
TJS for TypeScript Programmers
TypeScript Examples
Introduction
Hello TypeScript
Multiple Functions
Type Transformation
Validation
Embedded Tests
Runtime Validation
Object Validation
Optional Parameters
Patterns
Array Operations
Nested Objects
Union Types
Advanced
Generic Functions
Async Functions
Classes
The Full Picture
The TJS Language
Why TJS
Design Principles & Invariants
Declarations
TJS Syntax Reference
Dictionary Defaults (Merge-on-Partial Object Arguments)
Type identity: who answers "does this value satisfy this type?"
Runtime fusion: what may be shared between TJS modules, and what may not
North star: JSON-Schema + predicates as the single source of truth for types
FunctionPredicate: Design Notes
Case study: fixing switch
Small scoped parsers, not a rewrite
Ambient Contracts — probe reality, derive verified predicate contracts
Native Engine Integration: TJS in V8 or JavaScriptCore
tjs-lang Technical Context
TypeScript: The Good, the Bad, and the Ugly
TJS vs TypeScript vs JavaScript
Generic .d.ts Emission: Design Notes
Post-mortem: we spent seven months testing TypeScript's compiler
Changelog
TJS Roadmap
Assumptions ledger
Applied Laziness: The "Zero-Infrastructure" Stack
Governance: Safe Execution of Untrusted Logic
TJS Benchmarks