GitHub repository: tischsoic/alvis-web-editor
Primary language: TypeScript
Description: Web editor for Alvis, which is formal modelling language being developed at AGH UST.