Skip to content
@arend-lang

arend-lang

Popular repositories Loading

  1. tutorial-code tutorial-code Public

    Source code & exercises in Arend's documentation

    21 10

  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

  6. Arend Arend Public

    Java 1

Repositories

Showing 6 of 6 repositories
  • Arend Public
    arend-lang/Arend’s past year of commit activity
    Java 1 Apache-2.0 0 0 0 Updated May 3, 2025
  • arend-lang.github.io Public

    Arend language website

    arend-lang/arend-lang.github.io’s past year of commit activity
    HTML 2 0 1 0 Updated Apr 30, 2025
  • site Public

    Arend language website source

    arend-lang/site’s past year of commit activity
    HTML 4 Apache-2.0 9 4 1 Updated Apr 15, 2025
  • tutorial-code Public

    Source code & exercises in Arend's documentation

    arend-lang/tutorial-code’s past year of commit activity
    21 Apache-2.0 10 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…