A model-mediated harness for reliable agentic software development.
An AI-Native deterministic library for undeterministic AI Coding in Rust
Rust client to accessing teaql packaging services
An AI-Native deterministic libray for undeterministic AI Coding in Java
maven plugin to generate code using remote service
Store artifacts
Generated, typed, auditable business tools for Vercel AI SDK agents
TeaQL Coding Agent for NVIDIA DGX Spark — Ratatui TUI with 64K context budget
Study of complex business system benchmark in TeaQL Java and TeaQL Rust
Does reducing the solution space through semantic APIs, generated models, compile-time constraints, and runtime verification improve the reliability and efficiency of LLM-based software development?
Reproducible, correctness-gated benchmarks for TeaQL runtimes and mainstream framework comparisons
Build autonomous agents with persistent memory, custom skills, workflows, and integrated safety protocols using an antigravity-first framework.
To associate your repository with the teaql topic, visit your repo's landing page and select "manage topics."