Repositories list

• homebrew-k

  Public
  K Homebrew tap

  11 fork•33 stars•00 issues•00 pull requests•Updated Nov 14, 2023Nov 14, 2023

• boogie-semantics

  Public
  Boogie

  •11 fork•77 stars•33 issues•11 pull request•Updated Nov 2, 2023Nov 2, 2023

• ewasm-semantics

  Public archive
  WebAssembly

  •22 forks•11 star•00 issues•44 pull requests•Updated Mar 23, 2023Mar 23, 2023

• rust-metamath

  Public
  A Rust Implementation of Metamath

  Rust

  •11 fork•55 stars•00 issues•00 pull requests•Updated Sep 16, 2022Sep 16, 2022

• c-semantics

  Public
  Semantics of C in K

  C

  •

  Other

  •4545 forks•324324 stars•6060 issues•55 pull requests•Updated Feb 1, 2022Feb 1, 2022

• .github

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Jan 25, 2022Jan 25, 2022

• java-semantics

  Public
  The semantics of Java in K

  Java

  •99 forks•1919 stars•1111 issues•00 pull requests•Updated Sep 15, 2021Sep 15, 2021

• p4-semantics

  Public
  Formal Semantics of P4 in K

  interpreterformal-semanticsverification+ 5

  interpreterformal-semanticsverificationsymbolic-executionmodel-checkingp4languagep4translation-validation

  P4

  •

  Other

  •33 forks•2020 stars•00 issues•00 pull requests•Updated May 21, 2021May 21, 2021

• matching-logic-prover

  Public
  SMT

  •33 forks•1515 stars•1414 issues•1010 pull requests•Updated Apr 16, 2021Apr 16, 2021

• k-in-k

  Public
  Defining the semantics of K in K

  Python

  •

  Other

  •44 forks•1313 stars•00 issues•22 pull requests•Updated May 6, 2020May 6, 2020

• X86-64-semantics

  Public
  Semantics of x86-64 in K

  semanticsx86-64k-framework

  semanticsx86-64k-framework

  Assembly

  •

  Other

  •1616 forks•169169 stars•22 issues•22 pull requests•Updated Mar 4, 2020Mar 4, 2020

• k-project-template

  Public
  Project Template

  00 forks•00 stars•00 issues•00 pull requests•Updated Dec 11, 2019Dec 11, 2019

• eei-semantics

  Public
  Makefile

  •11 fork•11 star•22 issues•00 pull requests•Updated Oct 17, 2019Oct 17, 2019

• solidity-semantics

  Public
  Semantics of Solidity in K

  Shell

  •55 forks•2929 stars•99 issues•00 pull requests•Updated Oct 11, 2019Oct 11, 2019

• klab

  Public
  K-framework simple debugger

  JavaScript

  •3131 forks•00 stars•00 issues•00 pull requests•Updated May 16, 2019May 16, 2019

• kat

  Public
  Standard ML

  •22 forks•33 stars•22 issues•11 pull request•Updated Mar 15, 2019Mar 15, 2019

• semantic-approaches

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

  Haskell

  •

  MIT License

  •11 fork•1212 stars•00 issues•00 pull requests•Updated Jan 7, 2019Jan 7, 2019

• kore-parser-tests

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Sep 20, 2018Sep 20, 2018

• vyper-semantics

  Public
  KVyper: Semantics of Vyper in K

  Python

  •99 forks•4141 stars•11 issue•11 pull request•Updated Aug 12, 2018Aug 12, 2018

• llvm-semantics

  Public
  Formal semantics of LLVM IR in K

  LLVM

  •1111 forks•4949 stars•22 issues•00 pull requests•Updated Jun 13, 2018Jun 13, 2018

• kale

  Public
  kale backend

  Scala

  •77 forks•44 stars•88 issues•22 pull requests•Updated Mar 29, 2018Mar 29, 2018

• k-legacy

  Public archive
  The K tools (deprecated, see README)

  Java

  •

  Other

  •6161 forks•148148 stars•318318 issues•99 pull requests•Updated Feb 14, 2018Feb 14, 2018

• orc-semantics

  Public
  Csound

  •

  MIT License

  •11 fork•44 stars•00 issues•00 pull requests•Updated Dec 19, 2017Dec 19, 2017

• haskell-core-semantics

  Public
  Haskell's Core in K.

  Haskell

  •

  Other

  •00 forks•2020 stars•44 issues•00 pull requests•Updated Jun 21, 2017Jun 21, 2017

• parser

  Public
  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 22, 2017Mar 22, 2017

• tidy

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Nov 3, 2016Nov 3, 2016

• javascript-semantics

  Public
  KJS: A Complete Formal Semantics of JavaScript

  JavaScript

  •1919 forks•104104 stars•33 issues•00 pull requests•Updated Oct 13, 2016Oct 13, 2016

• llvm-semantics-old

  Public
  Formal semantics of LLVM IR in K (old)

  LLVM

  •

  Other

  •99 forks•11 star•00 issues•00 pull requests•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 pape…

  11 fork•22 stars•00 issues•00 pull requests•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

  •55 forks•55 stars•99 issues•00 pull requests•Updated Feb 2, 2015Feb 2, 2015