From 25a40dbee276b0ae1aa854ac3ec079cbb374f2f5 Mon Sep 17 00:00:00 2001
From: Curtis Spencer <41347+jubos@users.noreply.github.com>
Date: Wed, 16 Oct 2019 13:30:32 -0700
Subject: [PATCH] Added Runtime Verification

---
 data/ecosystems/r/runtime-verification.toml | 166 ++++++++++++++++++++
 1 file changed, 166 insertions(+)
 create mode 100644 data/ecosystems/r/runtime-verification.toml

diff --git a/data/ecosystems/r/runtime-verification.toml b/data/ecosystems/r/runtime-verification.toml
new file mode 100644
index 00000000..3642d560
--- /dev/null
+++ b/data/ecosystems/r/runtime-verification.toml
@@ -0,0 +1,166 @@
+# 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/algorand-verification"
+
+[[repo]]
+url = "https://github.com/runtimeverification/aspectLLVM"
+
+[[repo]]
+url = "https://github.com/runtimeverification/beacon-chain-spec"
+
+[[repo]]
+url = "https://github.com/runtimeverification/blockchain-k-plugin"
+
+[[repo]]
+url = "https://github.com/runtimeverification/bn128-ml"
+
+[[repo]]
+url = "https://github.com/runtimeverification/CANtools"
+
+[[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/Cygwin"
+
+[[repo]]
+url = "https://github.com/runtimeverification/dockerfiles"
+
+[[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/error-codes-mvn-plugin"
+
+[[repo]]
+url = "https://github.com/runtimeverification/evaluation"
+
+[[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-box"
+
+[[repo]]
+url = "https://github.com/runtimeverification/k-versus-evm"
+
+[[repo]]
+url = "https://github.com/runtimeverification/kevm"
+
+[[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/llvmmop"
+
+[[repo]]
+url = "https://github.com/runtimeverification/match"
+
+[[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/MSYS2-packages"
+
+[[repo]]
+url = "https://github.com/runtimeverification/MSYS2-packages-1"
+
+[[repo]]
+url = "https://github.com/runtimeverification/polkadot-verification"
+
+[[repo]]
+url = "https://github.com/runtimeverification/property-db"
+
+[[repo]]
+url = "https://github.com/runtimeverification/purescript"
+
+[[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-install"
+
+[[repo]]
+url = "https://github.com/runtimeverification/RV-Log"
+
+[[repo]]
+url = "https://github.com/runtimeverification/rv-match_testing"
+
+[[repo]]
+url = "https://github.com/runtimeverification/rv-monitor"
+
+[[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/Web3-collaboration"