Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: k-framework
Amrita-TIFAC-Cyber-Blockchain/K-Framework
K-Framework for Blockchain Technology
Size: 50.8 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
kframework/X86-64-semantics
Semantics of x86-64 in K
Language: Assembly - Size: 227 MB - Last synced: 2 months ago - Pushed: over 4 years ago - Stars: 131 - Forks: 11
ensdomains/k-ens
ENS formally verified
Size: 1000 Bytes - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 4 - Forks: 5
VincenzoArceri/linguaggi
Lezioni di laboratorio del corso di Linguaggi presso l'Università di Verona - 2017/2018
Size: 7.81 KB - Last synced: 9 months ago - Pushed: over 6 years ago - Stars: 2 - Forks: 0
davidlazar/llvm-semantics
Formal semantics of LLVM IR in K
Language: LLVM - Size: 14.4 MB - Last synced: 8 months ago - Pushed: almost 9 years ago - Stars: 41 - Forks: 9
danapaduraru/K-Syntax-Highlighter-Sublime-Text
My Principles of Programming Languages project, a syntax highlighter in Sublime Text 3 for K framework.
Size: 8.79 KB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0
sdasgup3/learning-K
K Learning Experience
Language: Makefile - Size: 97.7 KB - Last synced: 10 months ago - Pushed: about 4 years ago - Stars: 3 - Forks: 1
K-atc/play-with-kframework
Let's perform cause analysis of a crash found by AFL, using K Framework!
Language: C - Size: 8.79 KB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 2 - Forks: 0
Jesserc/k-framework-demo
Learning K framework by Runtime Verification
Size: 2.93 KB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0
dfava/mmgo
Operational Semantics of a Weak Memory Model with Channel Synchronization
Language: Python - Size: 82 KB - Last synced: 9 months ago - Pushed: over 6 years ago - Stars: 2 - Forks: 1
Colton1skees/KParser
.NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.
Language: C# - Size: 93.8 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 15 - Forks: 1
Isaac-DeFrain/KFramework
RChain Rholang Implementation & Materials for learning K Framework
Language: OCaml - Size: 610 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 8 - Forks: 0
ilyar/formal-methods
It uses mathematical rigour to describe/specify systems before they get implemented
Language: Makefile - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
ammkrn/k_framework_tutorial_jp
k-framework日本語 (公式チュートリアルの非公式翻訳)
Size: 133 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0
robkorn/k-spacemacs-layer
Spacemacs layer providing K support.
Language: Emacs Lisp - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 1