# Ecosystem Level Information
title = "Runtime Verification"

sub_ecosystems = []

github_organizations = ["https://github.com/runtimeverification"]

# Repositories
[[repo]]
url = "https://github.com/runtimeverification/activity"

[[repo]]
url = "https://github.com/runtimeverification/airliner"

[[repo]]
url = "https://github.com/runtimeverification/algorand-verification"

[[repo]]
url = "https://github.com/runtimeverification/aspectLLVM"

[[repo]]
url = "https://github.com/runtimeverification/avm-semantics"

[[repo]]
url = "https://github.com/runtimeverification/beacon-chain-spec"

[[repo]]
url = "https://github.com/runtimeverification/beacon-chain-verification"

[[repo]]
url = "https://github.com/runtimeverification/blockchain-k-plugin"

[[repo]]
url = "https://github.com/runtimeverification/bn128-ml"

[[repo]]
url = "https://github.com/runtimeverification/btm"

[[repo]]
url = "https://github.com/runtimeverification/CANtools"

[[repo]]
url = "https://github.com/runtimeverification/casper-cbc-proof-docs"

[[repo]]
url = "https://github.com/runtimeverification/casper-cbc-proofs"

[[repo]]
url = "https://github.com/runtimeverification/casper-proofs"

[[repo]]
url = "https://github.com/runtimeverification/cdecl"

[[repo]]
url = "https://github.com/runtimeverification/concurrent-ll"

[[repo]]
url = "https://github.com/runtimeverification/concurrentDS"

[[repo]]
url = "https://github.com/runtimeverification/Cygwin"

[[repo]]
url = "https://github.com/runtimeverification/deposit-contract-verification"

[[repo]]
url = "https://github.com/runtimeverification/devops-actions"

[[repo]]
url = "https://github.com/runtimeverification/dockerfiles"

[[repo]]
url = "https://github.com/runtimeverification/elrond-multisig"

[[repo]]
url = "https://github.com/runtimeverification/elrond-semantics"

[[repo]]
url = "https://github.com/runtimeverification/erc20-semantics"

[[repo]]
url = "https://github.com/runtimeverification/erc20-verification"

[[repo]]
url = "https://github.com/runtimeverification/erc777-semantics"

[[repo]]
url = "https://github.com/runtimeverification/ercx-classify-action"

[[repo]]
url = "https://github.com/runtimeverification/ercx-test-action"

[[repo]]
url = "https://github.com/runtimeverification/error-codes-mvn-plugin"

[[repo]]
url = "https://github.com/runtimeverification/evaluation"

[[repo]]
url = "https://github.com/runtimeverification/evm-semantics"

[[repo]]
url = "https://github.com/runtimeverification/FastLog"

[[repo]]
url = "https://github.com/runtimeverification/firefly-demo"

[[repo]]
url = "https://github.com/runtimeverification/foundry-demo"

[[repo]]
url = "https://github.com/runtimeverification/foundry-upgradeable-contracts-examples"

[[repo]]
url = "https://github.com/runtimeverification/giskard-verification"

[[repo]]
url = "https://github.com/runtimeverification/go-config"

[[repo]]
url = "https://github.com/runtimeverification/go-http"

[[repo]]
url = "https://github.com/runtimeverification/HaloDB"

[[repo]]
url = "https://github.com/runtimeverification/haskell-backend"

[[repo]]
url = "https://github.com/runtimeverification/iele-semantics"

[[repo]]
url = "https://github.com/runtimeverification/immer"

[[repo]]
url = "https://github.com/runtimeverification/javamop"

[[repo]]
url = "https://github.com/runtimeverification/k"

[[repo]]
url = "https://github.com/runtimeverification/k-box"

[[repo]]
url = "https://github.com/runtimeverification/k-editor-support"

[[repo]]
url = "https://github.com/runtimeverification/k-repl"

[[repo]]
url = "https://github.com/runtimeverification/k-versus-evm"

[[repo]]
url = "https://github.com/runtimeverification/k-vs-coq-language-frameworks"

[[repo]]
url = "https://github.com/runtimeverification/k-web-theme"

[[repo]]
url = "https://github.com/runtimeverification/kevm"

[[repo]]
url = "https://github.com/runtimeverification/kevm-act-tutorial"

[[repo]]
url = "https://github.com/runtimeverification/kevm-ethereumjs-vm"

[[repo]]
url = "https://github.com/runtimeverification/kevm-ganache-cli"

[[repo]]
url = "https://github.com/runtimeverification/kevm-ganache-core"

[[repo]]
url = "https://github.com/runtimeverification/kup"

[[repo]]
url = "https://github.com/runtimeverification/llvm-backend"

[[repo]]
url = "https://github.com/runtimeverification/llvm-project"

[[repo]]
url = "https://github.com/runtimeverification/llvmmop"

[[repo]]
url = "https://github.com/runtimeverification/match"

[[repo]]
url = "https://github.com/runtimeverification/michelson-semantics"

[[repo]]
url = "https://github.com/runtimeverification/MINGW-packages"

[[repo]]
url = "https://github.com/runtimeverification/mingw-w64"

[[repo]]
url = "https://github.com/runtimeverification/mini-pthreadpool"

[[repo]]
url = "https://github.com/runtimeverification/mkr-mcd-spec"

[[repo]]
url = "https://github.com/runtimeverification/mpfr-java"

[[repo]]
url = "https://github.com/runtimeverification/MSYS2-packages"

[[repo]]
url = "https://github.com/runtimeverification/MSYS2-packages-1"

[[repo]]
url = "https://github.com/runtimeverification/nodebestpractices"

[[repo]]
url = "https://github.com/runtimeverification/p2rvm"

[[repo]]
url = "https://github.com/runtimeverification/plutus"

[[repo]]
url = "https://github.com/runtimeverification/plutus-core-semantics"

[[repo]]
url = "https://github.com/runtimeverification/polkadot-verification"

[[repo]]
url = "https://github.com/runtimeverification/predict"

[[repo]]
url = "https://github.com/runtimeverification/property-db"

[[repo]]
url = "https://github.com/runtimeverification/publications"

[[repo]]
url = "https://github.com/runtimeverification/purescript"

[[repo]]
url = "https://github.com/runtimeverification/pyk"

[[repo]]
url = "https://github.com/runtimeverification/python-project-template"

[[repo]]
url = "https://github.com/runtimeverification/racy-c-programs"

[[repo]]
url = "https://github.com/runtimeverification/rdao-smc"

[[repo]]
url = "https://github.com/runtimeverification/rv-android"

[[repo]]
url = "https://github.com/runtimeverification/rv-ecu"

[[repo]]
url = "https://github.com/runtimeverification/rv-install"

[[repo]]
url = "https://github.com/runtimeverification/RV-Log"

[[repo]]
url = "https://github.com/runtimeverification/rv-match-demo"

[[repo]]
url = "https://github.com/runtimeverification/rv-match_testing"

[[repo]]
url = "https://github.com/runtimeverification/rv-monitor"

[[repo]]
url = "https://github.com/runtimeverification/rv-nix-tools"

[[repo]]
url = "https://github.com/runtimeverification/rv-predict"

[[repo]]
url = "https://github.com/runtimeverification/rv-toolkit-docs"

[[repo]]
url = "https://github.com/runtimeverification/rvmatch-eclipse-plugin"

[[repo]]
url = "https://github.com/runtimeverification/secure-tokens"

[[repo]]
url = "https://github.com/runtimeverification/solidity"

[[repo]]
url = "https://github.com/runtimeverification/solidity-semantics"

[[repo]]
url = "https://github.com/runtimeverification/tinn"

[[repo]]
url = "https://github.com/runtimeverification/toyota-itc-benchmarks"

[[repo]]
url = "https://github.com/runtimeverification/verified-smart-contracts"

[[repo]]
url = "https://github.com/runtimeverification/vlsm"

[[repo]]
url = "https://github.com/runtimeverification/vlsm-docs"

[[repo]]
url = "https://github.com/runtimeverification/wasm-semantics"

[[repo]]
url = "https://github.com/runtimeverification/Web3-collaboration"

[[repo]]
url = "https://github.com/runtimeverification/web3-grants-program"

[[repo]]
url = "https://github.com/runtimeverification/z3k"
