Repositories list

• Arend

  Public
  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Mar 1, 2025Mar 1, 2025

• site

  Public
  Arend language website source

  HTML

  •

  Apache License 2.0

  •9•4•4•1•Updated Jan 28, 2025Jan 28, 2025

• arend-lang.github.io

  Public
  Arend language website

  HTML

  •0•2•0•0•Updated Jan 28, 2025Jan 28, 2025

• tutorial-code

  Public
  Source code & exercises in Arend's documentation

  tutorial-codetutorial-exercisesarend

  Apache License 2.0

  •10•21•13•0•Updated Jul 19, 2021Jul 19, 2021

• arend-contrib

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

  Java

  •

  Apache License 2.0

  •0•8•0•0•Updated Aug 4, 2020Aug 4, 2020

• arend-tmbundle

  Public
  For GitHub linguist's syntax highlighting

  syntax-highlightinglinguistgithub-linguist+ 1arend

  MIT License

  •0•2•1•0•Updated Jul 7, 2020Jul 7, 2020