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++ 99 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++ 10 5

  4. TML TML Public

    Tau Meta-Language

    C++ 125 26

  5. tml_playground tml_playground Public

    Web-based TML playground

    HTML 4 2

Repositories

Showing 10 of 10 repositories
  • parser Public

    IDNI's parser library

    IDNI/parser's past year of commit activity
    C++ 10 5 1 2 Updated Sep 26, 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 8 2 25 5 Updated Sep 25, 2026
  • tau-lang Public
    IDNI/tau-lang's past year of commit activity
    C++ 99 20 18 17 Updated Sep 24, 2026
  • TML Public

    Tau Meta-Language

    IDNI/TML's past year of commit activity
    C++ 125 26 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
  • AgorasLN Public Forked from ElementsProject/lightning

    c-lightning — a Lightning Network implementation in C

    IDNI/AgorasLN's past year of commit activity
    C 1 1,087 0 0 Updated Jul 21, 2020
  • AgorasLN-api Public

    Agoras Lightning Network API

    IDNI/AgorasLN-api's past year of commit activity
    Python 0 0 0 0 Updated Jun 16, 2020
  • Tau-Alpha Public
    IDNI/Tau-Alpha's past year of commit activity
    JavaScript 8 1 0 0 Updated Jan 10, 2020
  • Tau-Alpha-Server Public
    IDNI/Tau-Alpha-Server's past year of commit activity
    C++ 5 2 0 0 Updated Dec 3, 2019
  • tml_playground Public

    Web-based TML playground

    IDNI/tml_playground's past year of commit activity
    HTML 4 Unlicense 2 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.

Top languages

Loading…

Most used topics

Loading…