kure2

Here are 3 public repositories matching this topic...

A Tree-sitter grammar for RelView / Kure2 programs

tree-sitter mathematics tree-sitter-grammar relview kure2

Zed support for the RelView / Kure2 language.

mathematics zed zed-extension zed-editor relview kure2

Rust wrapper for Kure, a C library which provides manipulation of relations and operations of relation algebra

cli repl mathematics relview kure2

Add a description, image, and links to the kure2 topic page so that developers can more easily learn about it.

To associate your repository with the kure2 topic, visit your repo's landing page and select "manage topics."