Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with kframework
A curated list of projects in awesome lists tagged with kframework .
https://github.com/sdasgup3/binary-decompilation
Extracting high level semantic information from binary code
binary-analysis kframework llvm-bitcode program-analysis semantics symbolic-execution x86 x86-64
Last synced: 23 Dec 2024
https://github.com/sdasgup3/learning-k
K Learning Experience
formal-semantics k k-framework kframework language-semantics rewrite-rules semantics
Last synced: 23 Dec 2024