F-WRunTime

Pinned Repositories

• cachix-action

  Build software only once and put it in a global cache

  Language:TypeScript23888139

• DAppNode

  General repository of the project dappnode

  Language:Shell5785042498

• optimism

  Optimism is Ethereum, scaled.

  Language:Go5.5k1231.1k3.1k

• evm-semantics

  K Semantics of the Ethereum Virtual Machine (EVM)

  Language:Python50556346137

• haskell-backend

  The symbolic execution engine powering the K Framework

  Language:Haskell206391.3k40

• iele-semantics

  Semantics of Virtual Machine for IELE prototype blockchain

  Language:HTML132265533

• k

  K Framework Tools 7.0

  Language:Java431381.2k143

• kontrol

  Language:Python40132904

• wasm-semantics

  A Prototype Formal Semantics of WebAssembly in K

  Language:WebAssembly76256318

• nix-shell-action

  Run any command you like in a deterministic Nix shell on Linux and macOS.

  Language:JavaScript3751010

F-WRunTime's Repositories