178 Repositories
verified-smart-contracts
727
evm-semantics
521
k
474
haskell-backend
215
iele-semantics
132
publications
88
wasm-semantics
79
kontrol
66
erc20-semantics
49
javamop
46
llvm-backend
36
deposit-contract-verification
33
plutus-core-semantics
27
algorand-verification
26
simbolik-vscode
23
python-semantics
21
beacon-chain-spec
21
beacon-chain-verification
18
michelson-semantics
17
casper-proofs
17
solidity
16
rv-monitor
16
mir-semantics
15
avm-semantics
15
pyk
13
foundry-upgradeable-contracts-examples
13
zero-to-k-tutorial
12
kontrol-demo
12
mpfr-java
11
kontrol-solady
11
k-editor-support
11
erc777-semantics
11
secureum-kontrol
10
proof-generation
10
polkadot-verification
10
kontrol-cheatcodes
10
mx-semantics
8
knock
8
blockchain-k-plugin
8
rdao-smc
7
kup
7
hs-backend-booster
7
bn128-ml
7
quiz
6
kavm-demo
6
simbolik-examples
5
rv-android
5
match
5
pl-tutorial
4
kontrol-workshop-ethcc-7
4