# TT Language

**Repository Path**: ttzhanshen/tt-language

## Basic Information

- **Project Name**: TT Language
- **Description**: tt-language
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2026-08-21
- **Last Updated**: 2026-08-21

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# TT Programming Language (TT 1.0 & Next-Gen 2026–2036)

The TT Language is a modern, general-purpose, high-performance programming language combining dual-track adaptive memory management, structured concurrency, compile-time SMT formal verification, and native AI tensor algebra.

## 📖 Quick Links & Documentation

- 📘 **[TT Language User Guide](file:///c:/Users/48097/Documents/project/tt/TT_LANGUAGE_GUIDE.md)** – Full syntax, CLI toolchain, type system, concurrency, tensors, and formal verification.
- 🔮 **[Future Decade Roadmap](file:///C:/Users/48097/.gemini/antigravity/brain/d7021af2-60e9-4917-9beb-67d0a912a064/future_decade_roadmap.md)** – 2026–2036 evolution plan.
- 🛠️ **[Walkthrough Report](file:///C:/Users/48097/.gemini/antigravity/brain/d7021af2-60e9-4917-9beb-67d0a912a064/walkthrough.md)** – Architecture and test results.
- 📦 **[TT Package Manager (ttpm) Docs](file:///c:/Users/48097/Documents/project/tt/docs/API.md)** – Registry, resolver, cache, and SMT audit.

## 🚀 Quick Start

`powershell
# AI native tensor matrix multiply demo
cargo run --bin tt -- run examples/nextgen_tensor_ai.tt

# Algebraic effects demo
cargo run --bin tt -- run examples/nextgen_effects.tt

# SMT formal verification demo
cargo run --bin tt -- verify examples/nextgen_verify.tt

# Run full workspace tests
cargo test --workspace
`

## 💻 CLI Usage Examples (new commands)

`powershell
# Install dependencies from tt.pkg
tt install

# Search the remote package registry
tt search <keyword>

# Publish a package to the registry
tt publish

# Compile to WebAssembly (.wat)
tt wasm path/to/file.tt -o out.wat

# Compile to native C bridge
tt native path/to/file.tt -o out.c

# Start the language server (or run a single file check)
tt lsp           # start stdio LSP server
tt lsp --check examples/hello.tt   # diagnostics only
`

## 🌐 Port Overview (example apps)

| Example | Port |
|---|---|
| TTWorld / ChakraTT showcase | 1994 |
| TT‑Data ORM demo | 1986 |
| TT‑Gateway demo | 1985 |
| TT‑AI demo | 1984 |
| XiaoXiao SPA (frontend) | 8080 |

---