Repositories list

• homebrew-k

  Public
  K Homebrew tap

  1•3•0•0•Updated Nov 14, 2023Nov 14, 2023

• boogie-semantics

  Public
  Boogie

  •0•5•3•1•Updated Nov 2, 2023Nov 2, 2023

• ewasm-semantics

  Public archive
  WebAssembly

  •1•0•0•4•Updated Mar 23, 2023Mar 23, 2023

• rust-metamath

  Public
  A Rust Implementation of Metamath

  Rust

  •0•2•0•0•Updated Sep 16, 2022Sep 16, 2022

• c-semantics

  Public
  Semantics of C in K

  C

  •

  Other

  •40•306•59•5•Updated Feb 1, 2022Feb 1, 2022

• .github

  Public
  0•0•0•0•Updated Jan 25, 2022Jan 25, 2022

• java-semantics

  Public
  The semantics of Java in K

  Java

  •9•19•11•0•Updated Sep 15, 2021Sep 15, 2021

• p4-semantics

  Public
  Formal Semantics of P4 in K

  verificationsymbolic-executionmodel-checking+ 5p4languagep4translation-validationinterpreterformal-semantics

  P4

  •

  Other

  •2•19•0•0•Updated May 21, 2021May 21, 2021

• matching-logic-prover

  Public
  SMT

  •4•15•14•10•Updated Apr 16, 2021Apr 16, 2021

• k-in-k

  Public
  Defining the semantics of K in K

  Python

  •

  Other

  •4•11•0•2•Updated May 6, 2020May 6, 2020

• X86-64-semantics

  Public
  Semantics of x86-64 in K

  semanticsx86-64k-framework

  Assembly

  •

  Other

  •13•143•2•2•Updated Mar 4, 2020Mar 4, 2020

• k-project-template

  Public
  Project Template

  0•0•0•0•Updated Dec 11, 2019Dec 11, 2019

• eei-semantics

  Public
  Makefile

  •1•0•2•0•Updated Oct 17, 2019Oct 17, 2019

• solidity-semantics

  Public
  Semantics of Solidity in K

  Shell

  •5•29•9•0•Updated Oct 11, 2019Oct 11, 2019

• klab

  Public
  K-framework simple debugger

  JavaScript

  •36•0•0•0•Updated May 16, 2019May 16, 2019

• kat

  Public
  Standard ML

  •2•3•2•1•Updated Mar 15, 2019Mar 15, 2019

• semantic-approaches

  Public
  A comprehensive experiments-based survey on various approaches to program semantics.

  Haskell

  •

  MIT License

  •1•11•0•0•Updated Jan 7, 2019Jan 7, 2019

• kore-parser-tests

  Public
  0•0•0•0•Updated Sep 20, 2018Sep 20, 2018

• vyper-semantics

  Public
  KVyper: Semantics of Vyper in K

  Python

  •9•41•1•1•Updated Aug 12, 2018Aug 12, 2018

• llvm-semantics

  Public
  Formal semantics of LLVM IR in K

  LLVM

  •9•44•2•0•Updated Jun 13, 2018Jun 13, 2018

• kale

  Public
  kale backend

  Scala

  •8•4•8•2•Updated Mar 29, 2018Mar 29, 2018

• k-legacy

  Public archive
  The K tools (deprecated, see README)

  Java

  •

  Other

  •61•146•318•9•Updated Feb 14, 2018Feb 14, 2018

• orc-semantics

  Public
  Csound

  •

  MIT License

  •1•4•0•0•Updated Dec 19, 2017Dec 19, 2017

• haskell-core-semantics

  Public
  Haskell's Core in K.

  Haskell

  •

  Other

  •0•20•4•0•Updated Jun 21, 2017Jun 21, 2017

• parser

  Public
  Java

  •0•0•0•0•Updated Mar 22, 2017Mar 22, 2017

• tidy

  Public
  0•0•0•0•Updated Nov 3, 2016Nov 3, 2016

• javascript-semantics

  Public
  KJS: A Complete Formal Semantics of JavaScript

  JavaScript

  •21•85•3•0•Updated Oct 13, 2016Oct 13, 2016

• llvm-semantics-old

  Public
  Formal semantics of LLVM IR in K (old)

  LLVM

  •

  Other

  •9•1•0•0•Updated Jun 25, 2015Jun 25, 2015

• cink-semantics

  Public
  Cink is a kernel of the C++ language we used to experiment with K. The language is used an example for teaching classes and is referred in several research papers.

  1•2•0•0•Updated Apr 5, 2015Apr 5, 2015

• kweb

  Public
  Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/

  Python

  •5•5•9•0•Updated Feb 2, 2015Feb 2, 2015