139 Repositories
verified-smart-contracts
705
evm-semantics
497
k
420
haskell-backend
202
iele-semantics
130
publications
79
wasm-semantics
74
erc20-semantics
47
javamop
44
llvm-backend
34
plutus-core-semantics
27
deposit-contract-verification
27
algorand-verification
26
kontrol
20
beacon-chain-spec
20
python-semantics
18
beacon-chain-verification
18
michelson-semantics
17
casper-proofs
17
solidity
15
rv-monitor
15
avm-semantics
15
pyk
13
foundry-upgradeable-contracts-examples
13
kontrol-demo
11
k-editor-support
11
erc777-semantics
11
zero-to-k-tutorial
10
proof-generation
10
secureum-kontrol
9
polkadot-verification
9
mpfr-java
9
mir-semantics
8
blockchain-k-plugin
8
rdao-smc
7
knock
7
kavm-demo
7
hs-backend-booster
7
bn128-ml
7
mx-semantics
6
rv-android
5
match
4
imp-semantics
4
property-db
3
predict
3
kup
3
kontrol-cheatcodes
3
k-vs-coq-language-frameworks
3
gitbook-kontrol
3
yul-semantics
2