K Framework

https://github.com/runtimeverification/k

The K Framework is a tool for designing and modeling programming languages and software/hardware...

Tokens:304,219
Snippets:1,830
Trust Score:8.1
License:BSD-3-Clause
Update:7 months ago
Tokens:
Raw