K framework

Repositories

• k

  K Framework Tools 5.0
  Java 73 182 125 7 Updated Nov 12, 2020

• wasm-semantics

  A Prototype Formal Semantics of WebAssembly in K
  WebAssembly 7 41 17 (1 issue needs help) 2 Updated Nov 12, 2020

• kore

  The symbolic execution engine powering the K Framework
  Haskell 29 128 118 11 Updated Nov 12, 2020

• evm-semantics

  K Semantics of the Ethereum Virtual Machine (EVM)
  Makefile 93 258 14 3 Updated Nov 12, 2020

• boogie-semantics
  Python 0 3 1 1 Updated Nov 12, 2020

• homebrew-k

  K Homebrew tap
  Ruby 1 2 0 0 Updated Nov 11, 2020

• c-semantics

  Semantics of C in K
  C 36 221 58 7 Updated Nov 11, 2020

• llvm-backend

  KORE to llvm translation
  C++ 9 16 10 1 Updated Nov 9, 2020

• matching-logic-prover
  SMT 4 12 14 10 Updated Nov 9, 2020

• ewasm-semantics
  WebAssembly 1 0 0 3 Updated Nov 4, 2020

• k-editor-support

  Plugin files for editing K files
  Java 18 6 2 2 Updated Oct 22, 2020

• p4-semantics

  Formal Semantics of P4 in K

  interpreter formal-semantics verification symbolic-execution model-checking p4language p4
  P4 1 12 0 0 Updated Jun 1, 2020

• k-in-k

  Defining the semantics of K in K
  Python 4 7 0 2 Updated May 6, 2020

• X86-64-semantics

  Semantics of x86-64 in K

  semantics x86-64 k-framework
  Assembly 6 101 0 2 Updated Mar 4, 2020

• k-project-template

  Project Template
  0 0 0 0 Updated Dec 11, 2019

• eei-semantics
  Makefile 1 0 2 0 Updated Oct 17, 2019

• solidity-semantics

  Semantics of Solidity in K
  Shell 3 20 9 0 Updated Oct 11, 2019

• klab

  Forked from dapphub/klab

  K-framework simple debugger
  JavaScript 27 0 0 0 Updated May 16, 2019

• plutus-core-semantics
  Python 3 14 1 1 Updated Apr 11, 2019

• kat
  Standard ML 2 3 2 1 Updated Mar 15, 2019

• semantic-approaches

  A comprehensive experiments-based survey on various approaches to program semantics.
  Haskell MIT 1 10 0 0 Updated Jan 7, 2019

• kore-parser-tests
  0 0 0 0 Updated Sep 20, 2018

• vyper-semantics

  KVyper: Semantics of Vyper in K
  Python 8 35 1 1 Updated Aug 12, 2018

• llvm-semantics

  Formal semantics of LLVM IR in K
  LLVM 5 34 1 0 Updated Jun 13, 2018

• kale

  kale backend
  Scala 7 4 8 2 Updated Mar 29, 2018

• k-legacy Archived

  The K tools (deprecated, see README)
  Java 67 152 318 9 Updated Feb 14, 2018

• orc-semantics
  Csound MIT 1 4 0 0 Updated Dec 19, 2017

• mpfr-java

  GNU MPFR Java Bindings
  Java 8 4 3 1 Updated Oct 19, 2017

• haskell-core-semantics

  Haskell's Core in K.
  Haskell 0 16 4 0 Updated Jun 21, 2017

• parser
  Java 0 0 0 0 Updated Mar 22, 2017