hpi-swa-lab/sb-augmentation-builder
Prototypical user interface for creating "Augmentations" -- domain-specific replacements on top of CodeMirror
JavaScript
Prototypical user interface for creating "Augmentations" -- domain-specific replacements on top of CodeMirror
JavaScript