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: 06 Oct 2025
https://github.com/runtimeverification/evm-equivalence
Equivalence proofs of EVM models
ethereum evm formal-verification kframework lean4
Last synced: 02 Nov 2025
https://github.com/sdasgup3/learning-k
K Learning Experience
formal-semantics k k-framework kframework language-semantics rewrite-rules semantics
Last synced: 09 Apr 2025