GitHub repository: kframework/llvm-semantics
Primary language: LLVM
Description: Formal semantics of LLVM IR in K