mirror of
https://github.com/aljazceru/crypto-ecosystems.git
synced 2026-01-14 11:14:25 +01:00
170 lines
3.9 KiB
TOML
170 lines
3.9 KiB
TOML
# 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/firefly-demo"
|
|
|
|
[[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"
|