https://kframework.org/ https://kframework.org/ has high level details. It says "K is a rewrite-based executable semantic framework in which programming languag

https://kframework.org/ https://kframework.org/ has high level details. It says "K is a rewrite-based executable semantic framework in which programming languages, type systems and formal analysis tools can be defined using configurations, computations and rules. " I was confused by the git repo because I thought the "K" was referring to https://en.wikipedia.org/wiki/K_(programming_language) https://en.wikipedia.org/wiki/K_(programming_language) which is a terse APL-style language.