210 Repositories
verified-smart-contracts
744
evm-semantics
577
k
555
haskell-backend
221
iele-semantics
131
kontrol
108
wasm-semantics
101
publications
94
javamop
51
erc20-semantics
49
simbolik-vscode
48
llvm-backend
42
deposit-contract-verification
39
mir-semantics
37
komet
36
ercx-tests
35
skribe
33
plutus-core-semantics
27
algorand-verification
27
python-semantics
21
beacon-chain-spec
21
casper-proofs
18
michelson-semantics
17
beacon-chain-verification
17
solidity
16
rv-monitor
16
ethdebug.py
15
avm-semantics
15
kontrol-demo
14
zero-to-k-tutorial
13
pyk
13
foundry-upgradeable-contracts-examples
13
k-editor-support
12
mpfr-java
11
kontrol-solady
11
kompass
11
erc777-semantics
11
secureum-kontrol
10
proof-generation
10
polkadot-verification
10
kontrol-cheatcodes
10
stable-mir-json
9
kup
9
knock
9
blockchain-k-plugin
9
pl-tutorial
8
mx-semantics
8
rdao-smc
7
imp-semantics
7
hs-backend-booster
7