k-framework

There are 1 repository under k-framework topic.

• kframework / X86-64-semantics

  Semantics of x86-64 in K

  x86-64semanticsk-framework
  Language:Assembly 130

• davidlazar / llvm-semantics

  Formal semantics of LLVM IR in K

  formal-semanticsformal-methodsllvm-irllvmpltresearchk-framework
  Language:LLVM 42

• Colton1skees / KParser

  .NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.

  x86-64vtilinstruction-semanticsk-frameworkintermediate-language
  Language:C# 16

• Isaac-DeFrain / KFramework

  RChain Rholang Implementation & Materials for learning K Framework

  k-frameworkprogramming-languagerholangsmart-contract
  Language:OCaml 8

• ensdomains / k-ens

  ENS formally verified

  formal-verificationk-frameworkensethereum
  4

• dfava / mmgo

  Operational Semantics of a Weak Memory Model with Channel Synchronization

  channel-synchronizationmemory-modelsweak-memory-modelsk-frameworkgolang
  Language:Python 2

• K-atc / play-with-kframework

  Let's perform cause analysis of a crash found by AFL, using K Framework!

  aflk-framework
  Language:C 2

• sdasgup3 / learning-K

  K Learning Experience

  formal-semanticskk-frameworkkframeworklanguage-semanticsrewrite-rulessemantics
  Language:Makefile 2

• VincenzoArceri / linguaggi

  Lezioni di laboratorio del corso di Linguaggi presso l'Università di Verona - 2017/2018

  k-frameworklanguagessemantics
  2

• ammkrn / k_framework_tutorial_jp

  k-framework日本語 (公式チュートリアルの非公式翻訳)

  k-framework
  1

• danapaduraru / K-Syntax-Highlighter-Sublime-Text

  My Principles of Programming Languages project, a syntax highlighter in Sublime Text 3 for K framework.

  yamlsublime-text-3k-framework
  1

• ilyar / formal-methods

  It uses mathematical rigour to describe/specify systems before they get implemented

  formal-methodsformal-verificationk-framework
  Language:Makefile 1

• robkorn / k-spacemacs-layer

  Spacemacs layer providing K support.

  kk-editork-frameworkspacemacs
  Language:Emacs Lisp 1

• Amrita-TIFAC-Cyber-Blockchain / K-Framework

  K-Framework for Blockchain Technology

  blockchainblockchain-technologyformal-methodsk-framework