229 Repositories
verified-smart-contracts
746
evm-semantics
589
k
578
haskell-backend
224
iele-semantics
131
kontrol
120
wasm-semantics
105
publications
95
javamop
54
erc20-semantics
49
simbolik-vscode
48
mir-semantics
48
llvm-backend
43
deposit-contract-verification
40
ercx-tests
37
komet
35
skribe
31
plutus-core-semantics
27
algorand-verification
27
python-semantics
22
beacon-chain-spec
21
casper-proofs
19
michelson-semantics
17
beacon-chain-verification
17
solidity
16
rv-monitor
16
kompass
16
ethdebug.py
15
avm-semantics
15
kontrol-demo
14
zero-to-k-tutorial
13
pyk
13
proof-generation
12
k-editor-support
12
foundry-upgradeable-contracts-examples
12
stable-mir-json
11
mpfr-java
11
kontrol-solady
11
erc777-semantics
11
secureum-kontrol
10
polkadot-verification
10
pl-tutorial
10
kontrol-cheatcodes
10
knock
10
kup
9
blockchain-k-plugin
9
mx-semantics
8
riscv-semantics
7
rdao-smc
7
imp-semantics
7