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