Repository · steady
The K Programming Language Tutorial
stars
8
forks
2
contributors
4
open issues
Not enough history yet — signal stabilises after ~2 snapshots.
rv-jenkins
@rv-jenkins
28
commits
gtrepta
@gtrepta
15
Baltoli
@Baltoli
Scott-Guest
@Scott-Guest
1
runtimeverification/verified-smart-contracts
Smart contracts which are formally verified
runtimeverification/k
K Framework Tools 7.0
runtimeverification/haskell-backend
The symbolic execution engine powering the K Framework
runtimeverification/iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
runtimeverification/publications
Publications of Runtime Verification, Inc.
runtimeverification/javamop
Runtime verification system for Java, using AspectJ for instrumentation.
runtimeverification/erc20-semantics
ERC20 in K
runtimeverification/simbolik-vscode
VSCode extension for debugging Solidity using Simbolik API server
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
