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++ 73 16

  2. parser parser Public

    IDNI's parser library

    C++ 8 3

  3. TML TML Public

    Tau Meta-Language

    C++ 123 28

  4. tml_playground tml_playground Public

    Web-based TML playground

    HTML 4 1

Repositories

Showing 9 of 9 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…