Skip to content

Commercial Tools
Decentralized AI
- Tau Net
- Agoras
- Tau Live
Sales
FAQ
Team
Socials

Commercial Tools
- Tau
  
  Correct by construction software development tool utilising novel and advanced executable formal specification.
- 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.
- TML
  
  Variant of Datalog with compressed data storage, strong optimizations, and extensions.
Decentralized AI
- Tau Net
  
  Decentralized AI platform enabling decentralized development, collective intelligence and knowledge trading between its entire user base using logic-based AI.
- Agoras
  
  Currency of Tau Net facilitating trading of knowledge, computational resources and derivatives with user-defined tokenomics.
- Tau Live
  
  Standalone video knowledge exchange app with logic-based AI features using Agoras $AGRS as payments.
Sales
FAQ
Team
Socials

user

No results

Join us

Telegram
YouTube
Twitter
Discord
Reddit
Medium
Facebook

Developers

Use TML
GitHub

Resources

Tau Language Research
Tau Language Overview
Tau Net Whitepaper (Eng)
Tau Net Whitepaper (Cn)
FAQ
Blog
About Us

Contact us

[email protected]

Terms And Conditions

Copyright © 2024 – IDNI. All rights reserved.