Topic: "kframework"
sdasgup3/binary-decompilation
Extracting high level semantic information from binary code
Language: Assembly - Size: 244 MB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 65 - Forks: 8
runtimeverification/evm-equivalence
Equivalence proofs of EVM models
Language: Lean - Size: 135 KB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 2 - Forks: 0
sdasgup3/learning-K
K Learning Experience
Language: Makefile - Size: 97.7 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 1
Lslightly/gollvm-semantics
semantics of IR generated by GoLLVM(Go compiler with LLVM as its backend). Bugs exist.
Language: LLVM - Size: 450 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
at-elcapitan/latte-dock Fork of KDE/latte-dock
Port of popular dock application for KDE Framework 6, Qt6
Language: C++ - Size: 18.1 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
taktoa/k Fork of kframework/k-legacy
The K tools
Language: Java - Size: 249 MB - Last synced at: about 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 1
taktoa/k-editor-support Fork of runtimeverification/k-editor-support
Plugin files for editing K files
Language: Java - Size: 689 KB - Last synced at: about 2 years ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 0