GitHub repository: stg-tud/LoRe
Primary language: Scala
Description: verified local-first programming