Skip to content

@runtimeverification Runtime Verification Inc.

Change the repository type filter

All

    Repositories list

    191 repositories

    • evm-equivalence

      Public
      Equivalence proofs of EVM models
      ethereumevmformal-verificationkframeworklean4
      Lean
      •0•4•0•1•Updated Jun 21, 2025Jun 21, 2025

    • k

      Public
      K Framework Tools 7.0
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •159•492•300•14•Updated Jun 21, 2025Jun 21, 2025

    • haskell-backend

      Public
      The symbolic execution engine powering the K Framework
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •44•218•137•12•Updated Jun 21, 2025Jun 21, 2025

    • kontrol

      Public
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •12•77•162•24•Updated Jun 20, 2025Jun 20, 2025

    • zkevm-harness

      Public
      Rust
      •
      BSD 3-Clause "New" or "Revised" License
      •1•2•2•3•Updated Jun 20, 2025Jun 20, 2025

    • riscv-semantics

      Public
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •0•4•16•1•Updated Jun 20, 2025Jun 20, 2025

    • _audits_Ethereum-optimism_pausability

      Public
      Optimism is Ethereum, scaled.
      Go
      •
      MIT License
      •3.6k•0•1•1•Updated Jun 20, 2025Jun 20, 2025

    • kompass

      Public
      K semantics for Solana
      Python
      •0•6•1•1•Updated Jun 20, 2025Jun 20, 2025

    • mir-semantics

      Public
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •3•24•23•4•Updated Jun 20, 2025Jun 20, 2025

    • imp-semantics

      Public
      The K semantics of IMP and associated tools
      Python
      •1•6•0•1•Updated Jun 20, 2025Jun 20, 2025

    • wasm-semantics

      Public
      A Formal Semantics of WebAssembly in K
      WebAssembly
      •
      Other
      •24•80•25•5•Updated Jun 20, 2025Jun 20, 2025

    • evm-semantics

      Public
      K Semantics of the Ethereum Virtual Machine (EVM)
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •152•533•71•14•Updated Jun 20, 2025Jun 20, 2025

    • pl-tutorial

      Public
      The K Programming Language Tutorial
      Standard ML
      •
      BSD 3-Clause "New" or "Revised" License
      •2•8•2•2•Updated Jun 20, 2025Jun 20, 2025

    • blockchain-k-plugin

      Public
      K plugin for IELE and KEVM
      C++
      •
      Other
      •12•8•4•2•Updated Jun 20, 2025Jun 20, 2025

    • homebrew-k

      Public
      K Homebrew tap
      Ruby
      •1•0•0•0•Updated Jun 20, 2025Jun 20, 2025

    • rv-nix-tools

      Public
      Set of common nix utilities used in our repositories
      Nix
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•2•1•Updated Jun 19, 2025Jun 19, 2025

    • llvm-backend

      Public
      KORE to llvm translation
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •23•38•39•0•Updated Jun 19, 2025Jun 19, 2025

    • komet

      Public
      WebAssembly
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•4•5•Updated Jun 19, 2025Jun 19, 2025

    • kaas-vscode

      Public
      TypeScript
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•1•0•Updated Jun 16, 2025Jun 16, 2025

    • skribe

      Public
      Property testing for Stylus smart contracts
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•2•Updated Jun 13, 2025Jun 13, 2025

    • dev-quickstart-oov3

      Public
      Example contracts to integrate with UMA Optimistic Oracle V3
      Solidity
      •
      The Unlicense
      •13•0•0•0•Updated Jun 10, 2025Jun 10, 2025

    • ercx-tests

      Public
      Solidity
      •
      BSD 3-Clause "New" or "Revised" License
      •3•33•0•2•Updated Jun 9, 2025Jun 9, 2025

    • kontrol-solady

      Public
      Solady formal verification with Kontrol
      Solidity
      •0•11•1•1•Updated Jun 9, 2025Jun 9, 2025

    • nixpkgs

      Public
      Nix Packages collection & NixOS
      Nix
      •
      MIT License
      •16k•0•0•5•Updated Jun 5, 2025Jun 5, 2025

    • stable-mir-json

      Public
      KMIR Rust Library
      Rust
      •
      BSD 3-Clause "New" or "Revised" License
      •0•3•21•3•Updated Jun 4, 2025Jun 4, 2025

    • kup

      Public
      K and Semantics Distribution Tool
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •1•8•13•5•Updated Jun 2, 2025Jun 2, 2025

    • python-project-template

      Public
      Cookiecutter template for Python projects
      Nix
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•1•0•Updated May 30, 2025May 30, 2025

    • ethdebug.py

      Public
      ethdebug.py is a debugger-side implementation of the EthDebug format
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •0•14•0•0•Updated May 29, 2025May 29, 2025

    • solana-token

      Public
      The SPL Token program and its clients
      Rust
      •
      Apache License 2.0
      •37•0•0•0•Updated May 28, 2025May 28, 2025

    • mx-semantics

      Public
      Python
      •3•8•3•4•Updated May 21, 2025May 21, 2025