Skip to content
@IDNI

Tau

The future of Logical AI, declarative programming, and software synthesis from formal specification

Pinned Loading

  1. tau-lang tau-lang Public

    C++ 96 20

  2. tau-testnet tau-testnet Public

    This project is the codebase for the Tau Testnet Alpha Blockchain

    Python 8 2

  3. parser parser Public

    IDNI's parser library

    C++ 9 4

  4. TML TML Public

    Tau Meta-Language

    C++ 124 27

  5. tml_playground tml_playground Public

    Web-based TML playground

    HTML 4 2

Repositories

Showing 10 of 10 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…