Skip to content
@arend-lang

arend-lang

Popular repositories Loading

  1. tutorial-code tutorial-code Public

    Source code & exercises in Arend's documentation

    21 9

  2. arend-contrib arend-contrib Public

    A community driven, semi-official, semi-standard library for Arend

    Java 8

  3. site site Public

    Arend language website source

    HTML 4 9

  4. arend-lang.github.io arend-lang.github.io Public

    Arend language website

    HTML 2

  5. arend-tmbundle arend-tmbundle Public

    For GitHub linguist's syntax highlighting

    2

Repositories

Showing 5 of 5 repositories
  • site Public

    Arend language website source

    arend-lang/site’s past year of commit activity
    HTML 4 Apache-2.0 9 4 1 Updated Aug 1, 2024
  • arend-lang.github.io Public

    Arend language website

    arend-lang/arend-lang.github.io’s past year of commit activity
    HTML 2 Apache-2.0 0 0 0 Updated Jul 5, 2024
  • tutorial-code Public

    Source code & exercises in Arend's documentation

    arend-lang/tutorial-code’s past year of commit activity
    21 Apache-2.0 9 13 0 Updated Jul 19, 2021
  • arend-contrib Public

    A community driven, semi-official, semi-standard library for Arend

    arend-lang/arend-contrib’s past year of commit activity
    Java 8 Apache-2.0 0 0 0 Updated Aug 4, 2020
  • arend-tmbundle Public

    For GitHub linguist's syntax highlighting

    arend-lang/arend-tmbundle’s past year of commit activity
    2 MIT 0 1 0 Updated Jul 7, 2020

Top languages

Loading…

Most used topics

Loading…