Skip to content

@runtimeverification Runtime Verification Inc.

Change the repository type filter

All

    Repositories list

    219 repositories

    • komet

      Public
      WebAssembly
      •
      BSD 3-Clause "New" or "Revised" License
      •2•35•6•6•Updated May 5, 2026May 5, 2026

    • skribe

      Public
      Property testing for Stylus smart contracts
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •0•31•0•4•Updated May 5, 2026May 5, 2026

    • solana-token

      Public
      The SPL Token program and its clients
      Rust
      •
      Apache License 2.0
      •91•0•10•3•Updated May 2, 2026May 2, 2026

    • mir-semantics

      Public
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •4•43•73•11•Updated May 2, 2026May 2, 2026

    • stable-mir-json

      Public
      KMIR Rust Library
      Rust
      •
      BSD 3-Clause "New" or "Revised" License
      •4•10•29•17•Updated May 1, 2026May 1, 2026

    • skribe-advanced-fuzzing

      Public
      Dockerfile
      •0•0•3•0•Updated Apr 30, 2026Apr 30, 2026

    • k

      Public
      K Framework Tools 7.0
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •160•565•303•17•Updated Apr 30, 2026Apr 30, 2026

    • percolator

      Public
      Rust
      •
      Apache License 2.0
      •160•0•0•1•Updated Apr 30, 2026Apr 30, 2026

    • wasm-semantics

      Public
      A Formal Semantics of WebAssembly in K
      WebAssembly
      •
      Other
      •24•105•26•1•Updated Apr 29, 2026Apr 29, 2026

    • skribe_9lives.so

      Public
      9lives is Arbitrum's most advanced prediction market. Powered by Stylus and AI agents.
      TypeScript
      •
      MIT License
      •6•0•0•14•Updated Apr 29, 2026Apr 29, 2026

    • verify-rust-std

      Public
      Verifying the Rust standard library: Runtime Verifiction introduces KMIR!
      Rust
      •
      Other
      •15k•0•0•2•Updated Apr 29, 2026Apr 29, 2026

    • evm-semantics

      Public
      K Semantics of the Ethereum Virtual Machine (EVM)
      KCL
      •
      BSD 3-Clause "New" or "Revised" License
      •155•582•75•5•Updated Apr 28, 2026Apr 28, 2026

    • kompass

      Public
      K semantics for Solana
      Rust
      •0•15•1•0•Updated Apr 27, 2026Apr 27, 2026

    • riscv-semantics

      Public
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •0•6•21•2•Updated Apr 27, 2026Apr 27, 2026

    • imp-semantics

      Public
      The K semantics of IMP and associated tools
      Python
      •1•7•0•1•Updated Apr 27, 2026Apr 27, 2026

    • haskell-backend

      Public
      The symbolic execution engine powering the K Framework
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •42•223•140•16•Updated Apr 27, 2026Apr 27, 2026

    • pl-tutorial

      Public
      The K Programming Language Tutorial
      Standard ML
      •
      BSD 3-Clause "New" or "Revised" License
      •2•8•2•2•Updated Apr 27, 2026Apr 27, 2026

    • blockchain-k-plugin

      Public
      K plugin for IELE and KEVM
      C++
      •
      Other
      •13•9•4•2•Updated Apr 27, 2026Apr 27, 2026

    • _audits_Ethereum-optimism_optimism_interopv2

      Public
      Optimism is Ethereum, scaled.
      Go
      •
      MIT License
      •3.9k•0•42•13•Updated Apr 24, 2026Apr 24, 2026

    • kontrol

      Public
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •13•115•167•22•Updated Apr 24, 2026Apr 24, 2026

    • base-contracts-kaas-fuzz

      Public
      Solidity
      •
      MIT License
      •208•0•0•2•Updated Apr 24, 2026Apr 24, 2026

    • gitbook-kaas

      Public
      0•0•0•1•Updated Apr 24, 2026Apr 24, 2026

    • rs-soroban-env

      Public
      Rust environment for Soroban contracts.
      Rust
      •
      Apache License 2.0
      •54•0•0•3•Updated Apr 23, 2026Apr 23, 2026

    • kora

      Public
      Implementation of a Solana relayer. Provides a lib and cli crate in order to enable signing experiences on Solana
      Rust
      •
      MIT License
      •248•0•0•5•Updated Apr 23, 2026Apr 23, 2026

    • simbolik-docs

      Public
      TypeScript
      •0•0•0•6•Updated Apr 22, 2026Apr 22, 2026

    • skribe_bobcat-sdk

      Public
      bobcat-sdk is an opinionated codesize efficient Arbitrum Stylus SDK.
      Rust
      •
      MIT License
      •3•0•0•20•Updated Apr 16, 2026Apr 16, 2026

    • lendvest-smart-staking

      Public
      Lendvest Smart Staking — Leveraged wstETH Vault Protocol
      Solidity
      •
      Other
      •8•0•0•2•Updated Apr 15, 2026Apr 15, 2026

    • publications

      Public
      Publications of Runtime Verification, Inc.
      HTML
      •21•94•0•0•Updated Apr 15, 2026Apr 15, 2026

    • zkevm-harness

      Public
      Rust
      •
      BSD 3-Clause "New" or "Revised" License
      •1•2•11•3•Updated Apr 15, 2026Apr 15, 2026

    • simbolik-vscode

      Public
      VSCode extension for debugging Solidity using Simbolik API server
      TypeScript
      •
      BSD 3-Clause "New" or "Revised" License
      •4•48•16•6•Updated Apr 10, 2026Apr 10, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.