Tau
The future of Logical AI, declarative programming, and software synthesis from formal specification
Pinned
Loading
IDNI's parser library
C++
8
3
Tau Meta-Language
C++
123
28
Web-based TML playground
HTML
4
1
Repositories
Showing 10 of 10 repositories
IDNI/tau-lang’s past year of commit activity
C++
84
18
10
0
Updated Jan 10, 2026
tau-testnet
Public
This project is the codebase for the Tau Testnet Alpha Blockchain
IDNI/tau-testnet’s past year of commit activity
Python
5
0
0
0
Updated Jan 9, 2026
parser
Public
IDNI's parser library
IDNI/parser’s past year of commit activity
C++
8
3
0
0
Updated Dec 20, 2025
TML
Public
Tau Meta-Language
IDNI/TML’s past year of commit activity
C++
123
28
0
2
Updated May 31, 2023
bdd
Public
IDNI's Binary Decision Diagram implementation
IDNI/bdd’s past year of commit activity
C++
2
0
0
0
Updated May 22, 2023
IDNI/AgorasLN’s past year of commit activity
IDNI/AgorasLN-api’s past year of commit activity
Python
0
0
0
0
Updated Jun 16, 2020
IDNI/Tau-Alpha’s past year of commit activity
JavaScript
8
1
0
0
Updated Jan 10, 2020
IDNI/Tau-Alpha-Server’s past year of commit activity
C++
5
2
0
0
Updated Dec 3, 2019
IDNI/tml_playground’s past year of commit activity
HTML
4
Unlicense
1
0
0
Updated Jul 13, 2019
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Most used topics
Loading…
You can’t perform that action at this time.
