mirror of
https://github.com/aljazceru/crypto-ecosystems.git
synced 2026-02-01 20:14:19 +01:00
275 lines
6.3 KiB
TOML
275 lines
6.3 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/airliner"
|
|
|
|
[[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/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/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/giskard-verification"
|
|
|
|
[[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-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/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/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/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-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/z3k"
|