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
maven plugin to generate code using remote service
An AI-Native deterministic libray for undeterministic AI Coding in Java
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."