# GitHub repos by runtimeverification [Home](https://repo.masters-masters.com/en) › [runtimeverification](https://repo.masters-masters.com/en/owners/runtimeverification) All 7 public GitHub repos by runtimeverification in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by runtimeverification 7 public repos by runtimeverification in the catalog, most starred first. - [runtimeverification/verified-smart-contracts · ★ 749 · Solidity · Beta](https://repo.masters-masters.com/en/repos/runtimeverification/verified-smart-contracts) - [runtimeverification/k · ★ 603 · Python · Alpha](https://repo.masters-masters.com/en/repos/runtimeverification/k) - [runtimeverification/evm-semantics · ★ 595 · KCL · Alpha](https://repo.masters-masters.com/en/repos/runtimeverification/evm-semantics) - [runtimeverification/haskell-backend · ★ 229 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/runtimeverification/haskell-backend) - [runtimeverification/iele-semantics · ★ 130 · HTML · Prototype](https://repo.masters-masters.com/en/repos/runtimeverification/iele-semantics) - [runtimeverification/kontrol · ★ 127 · Python · Prototype](https://repo.masters-masters.com/en/repos/runtimeverification/kontrol) - [runtimeverification/wasm-semantics · ★ 107 · WebAssembly · Prototype](https://repo.masters-masters.com/en/repos/runtimeverification/wasm-semantics) ## See runtimeverification on GitHub - [https://github.com/runtimeverification](https://github.com/runtimeverification) --- Data: GitHub