tree-sitter-kore A grammar of the K framework's KORE representation for tree-sitter. References Kore syntax spec defined by Kframework's Haskell Backend. pyk.kore parser and lexer modules from K python libraries.