Skip to content
@WTy-2

The WTy 2 Programming Language

a programming language with *No Problems*

Popular repositories Loading

  1. spec spec Public

    CSS 1

  2. wty2-formal wty2-formal Public

    Trying to formalise WTy2 with Agda and Idris2

    Agda 1

  3. tree-sitter-wty-2 tree-sitter-wty-2 Public

    A tree-sitter grammar for WTy2

    C

Repositories

Showing 3 of 3 repositories
  • spec Public
    WTy-2/spec’s past year of commit activity
    CSS 1 0 1 0 Updated Mar 16, 2024
  • wty2-formal Public

    Trying to formalise WTy2 with Agda and Idris2

    WTy-2/wty2-formal’s past year of commit activity
    Agda 1 0 0 0 Updated Nov 12, 2023
  • tree-sitter-wty-2 Public

    A tree-sitter grammar for WTy2

    WTy-2/tree-sitter-wty-2’s past year of commit activity
    C 0 0 0 0 Updated Jul 30, 2023

Top languages

Loading…

Most used topics

Loading…