https://github.com/benjamin-davies/zed-relview
Zed support for the RelView / Kure2 language.
https://github.com/benjamin-davies/zed-relview
kure2 mathematics relview zed zed-editor zed-extension
Last synced: 4 months ago
JSON representation
Zed support for the RelView / Kure2 language.
- Host: GitHub
- URL: https://github.com/benjamin-davies/zed-relview
- Owner: Benjamin-Davies
- Created: 2025-09-19T05:39:27.000Z (9 months ago)
- Default Branch: main
- Last Pushed: 2025-09-20T03:36:40.000Z (9 months ago)
- Last Synced: 2025-10-09T09:44:52.273Z (8 months ago)
- Topics: kure2, mathematics, relview, zed, zed-editor, zed-extension
- Language: Tree-sitter Query
- Homepage:
- Size: 3.91 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# zed-relview
Zed support for the [RelView](https://www.informatik.uni-kiel.de/~progsys/relview/) / [Kure2](https://sourceforge.net/projects/kure/) language.
## Usage
Clone the repo and [install it as a dev extension](https://zed.dev/docs/extensions/developing-extensions#developing-an-extension-locally).
If there is interest in having this extension published to the official Zed extension list, please open an issue. Alternatively, feel free to add it to the list yourself.