k-framework is a grammar language created in 2013.
Homepage 路
Source Code
K Framework Tools 7.0
- Tags: grammarLanguage
- k-framework is developed on GitHub and has 430 stars
- Early development of k-framework happened in Runtime Verification Inc.
- k-framework is written in Make, Java, Python, Markdown, JSON, Standard ML, Scala, Bash, Bourne shell, YAML, HTML, Dockerfile, XML, Nix, TOML, C, JavaScript, CSS, reStructuredText, Ini
- kframework.org was registered in 2013