Tau Products

Tau products improve your team’s software development experience.

Easily automate your software development process, and create high-quality applications that exceed industry standards.


AI software development tool guaranteeing accurate, bug-free software with AI safety controls.

Tau Language

Language for software specification with quantification over sentences, a temporal dimension and description logics.

Tau Parsing Library

Industry-level C++ parsing library that captures all ambiguities efficiently and automatically.


Variant of Datalog with compressed data storage, strong optimizations, and extensions.

Interested in Tau?

Interested in what Tau can do for your business? Talk to our team.