Giters
kore-lang (korelang)

kore-lang

korelang

Geek Repo

The kore programming language

Github PK Tool:Github PK Tool

kore-lang's repositories

kore

A pet project for me to learn about programming language implementation.

Language:C++License:BSD-3-ClauseStargazers:2Issues:1Issues:0

kore-pygments-lexer

A Pygments lexer for the kore programming language

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

tree-sitter-kore

kore grammar for tree-sitter

License:BSD-3-ClauseStargazers:0Issues:1Issues:0