PLDB Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

k-framework

< >

k-framework is a grammar language created in 2013.

#1025on PLDB

11Years Old

Download source code:

git clone https://github.com/runtimeverification/k

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

PLDB - Build the next great programming language · Add · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements · Part of the World Wide Scroll