Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with k-framework
A curated list of projects in awesome lists tagged with k-framework .
https://github.com/isaac-defrain/kframework
RChain Rholang Implementation & Materials for learning K Framework
k-framework programming-language rholang smart-contract
Last synced: 15 Dec 2024
https://github.com/sdasgup3/learning-k
K Learning Experience
formal-semantics k k-framework kframework language-semantics rewrite-rules semantics
Last synced: 23 Dec 2024
https://github.com/jesserc/k-framework-demo
Learning K framework by Runtime Verification
formal-verification k-framework runtime-verification
Last synced: 20 Dec 2024