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"