kframework

There are 0 repository under kframework topic.

• sdasgup3 / binary-decompilation

  Extracting high level semantic information from binary code

  llvm-bitcodex86x86-64binary-analysisprogram-analysissemanticskframeworksymbolic-execution
  Language:Assembly 66

• LucianCumpata / K-VSCode

  K language support for Visual Studio Code

  snippetsgrammarvisual-studio-codevisual-studio-code-extensionkframework
  5

• runtimeverification / evm-equivalence

  Equivalence proofs of EVM models

  ethereumevmformal-verificationkframeworklean4
  Language:Lean 4

• at-elcapitan / latte-dock

  Port of popular dock application for KDE Framework 6, Qt6

  kframeworklatte-dock-qt6latte-dock
  Language:C++ 3

• sdasgup3 / learning-K

  K Learning Experience

  kframeworkksemanticsformal-semanticslanguage-semanticsk-frameworkrewrite-rules
  Language:Makefile 2

• Lslightly / gollvm-semantics

  semantics of IR generated by GoLLVM(Go compiler with LLVM as its backend). Bugs exist.

  kframework
  Language:LLVM 0

• taktoa / k

  The K tools

  executable-semanticskframeworkprogramming-languagejavafork
  Language:Java

• taktoa / k-editor-support

  Plugin files for editing K files

  editorforkkframework
  Language:Java