k-framework topic
List
k-framework repositories
trafficstars
X86-64-semantics
130
Stars
11
Forks
Watchers
Semantics of x86-64 in K
llvm-semantics
42
Stars
9
Forks
Watchers
Formal semantics of LLVM IR in K