Products - Tau

Skip to content

Products
- Tau
- Tau Language
- Tau Net
- Agoras
- TML
- Tau Parsing Library
- Tau Live
- BDD Library
Services
Learn
About us
- Team
- Blog
Join our community

Products
- Tau
  
  Collaborative software development with real-time detection of agreements and disagreements.
- Tau Language
  
  Language for software specification with quantification over sentences, a temporal dimension and description logics.
- Tau Net
  
  Open-source blockchain discussion network with soundly decentralized client development.
- Agoras
  
  The focal token of trade in the Tau Net economy with sound user-controlled tokenomics.
- TML
  
  Variant of Datalog with compressed data storage, strong optimizations, and extensions.
- Tau Parsing Library
  
  Industry-level C++ parsing library that captures all ambiguities efficiently and automatically.
- Tau Live
  
  Knowledge exchange video platform for per-minute payment without middle-man fees.
- Tau BDD Library
  
  Binary Decision Diagrams implementation supporting output/input inverters, variable shifters, and *_many operations.
Services
Learn
About us
- Team
- Blog
Join Our Community

Join us

Telegram
YouTube
Twitter
Discord
Reddit
Medium
Facebook

Developers

Use TML
GitHub

Resources

Tau Language Summary
Tau Net Whitepaper (Eng)
Tau Net Whitepaper (Cn)
Blog

Contact us

Contact@Tau.net

Terms And Conditions

Copyright © 2023 – IDNI. All rights reserved.

Please share your location to continue.

Check our help guide for more info.