Projects in Awesome Lists tagged with k-framework
A curated list of projects in awesome lists tagged with k-framework .
https://github.com/davidlazar/llvm-semantics
Formal semantics of LLVM IR in K
formal-methods formal-semantics k-framework llvm llvm-ir plt research
Last synced: 24 Dec 2025
https://github.com/isaac-defrain/kframework
RChain Rholang Implementation & Materials for learning K Framework
k-framework programming-language rholang smart-contract
Last synced: 02 Apr 2025
https://github.com/ensdomains/k-ens
ENS formally verified
ens ethereum formal-verification k-framework
Last synced: 14 Jun 2025
https://github.com/sdasgup3/learning-k
K Learning Experience
formal-semantics k k-framework kframework language-semantics rewrite-rules semantics
Last synced: 20 Mar 2026
https://github.com/ilyar/formal-methods
It uses mathematical rigour to describe/specify systems before they get implemented
formal-methods formal-verification k-framework
Last synced: 17 Feb 2026
