k-framework
Here are 14 public repositories matching this topic...
Formal semantics of LLVM IR in K
-
Updated
Jun 25, 2015 - LLVM
.NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.
-
Updated
Feb 4, 2021 - C#
RChain Rholang Implementation & Materials for learning K Framework
-
Updated
Nov 15, 2019 - OCaml
Operational Semantics of a Weak Memory Model with Channel Synchronization
-
Updated
Feb 19, 2018 - Python
Lezioni di laboratorio del corso di Linguaggi presso l'Università di Verona - 2017/2018
-
Updated
Jan 19, 2018
K Learning Experience
-
Updated
Mar 5, 2020 - Makefile
Let's perform cause analysis of a crash found by AFL, using K Framework!
-
Updated
Mar 4, 2019 - C
Spacemacs layer providing K support.
-
Updated
Dec 15, 2018 - Emacs Lisp
It uses mathematical rigour to describe/specify systems before they get implemented
-
Updated
Aug 12, 2022 - Makefile
My Principles of Programming Languages project, a syntax highlighter in Sublime Text 3 for K framework.
-
Updated
Jan 14, 2019
K-Framework for Blockchain Technology
-
Updated
Jan 22, 2023
Improve this page
Add a description, image, and links to the k-framework topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the k-framework topic, visit your repo's landing page and select "manage topics."