Alternatives and similar repositories for ERTP

Users that are interested in ERTP are comparing it to the libraries listed below

• agoric-labs / PlaygroundVat
  OBSOLETE prototype Vat host: use SwingSet instead
  ☆30Updated 5 years ago
• primea / js-primea-hypervisor
  a JavaScript Implementation of Primea HyperVisor
  ☆42Updated 5 years ago
• Agoric / SwingSet
  MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains
  ☆18Updated 5 years ago
• o1-labs / snarkette
  Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
  ☆55Updated 6 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• ipld / js-ipld-ethereum
  JavaScript Implementation of All Ethereum IPLD formats
  ☆39Updated 4 years ago
• primea / design
  Documentation and research notes related to the Prima Kernel
  ☆20Updated 7 years ago
• GravityNetwork / Gravity
  Gravity Network: a distributed computing architecture for resilience and interoperability
  ☆37Updated 8 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 7 years ago
• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆41Updated 3 years ago
• cryptiumlabs / library
  This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…
  ☆31Updated 4 years ago
• dfinity-side-projects / wasm-persist
  a JS module for creating orthogonally persistent WebAssembly instances
  ☆42Updated 2 years ago
• amiller / lambda-auth
  authenticated data structures, generically
  ☆54Updated 8 years ago
• raineorshine / functional-solidity-language
  A typed, functional language that targets the EVM.
  ☆55Updated 8 years ago
• dfinity-side-projects / js-libp2p-gossip-discovery
  implements peer discovery using a gossip protocol
  ☆23Updated 2 years ago
• filecoin-project / research
  Home for Filecoin Research
  ☆73Updated 3 years ago
• ipld / js-ipld-eth-block
  JavaScript Implementation of the IPLD format - Ethereum Block
  ☆12Updated 7 years ago
• ipfs-inactive / pdd
  [ARCHIVED] Protocol Driven Development
  ☆12Updated 5 years ago
• gavofyork / curly-engine
  ☆13Updated 9 years ago
• dapphub / hevm
  (OLD REPO) A debug-oriented Ethereum VM (EVM)
  ☆114Updated 7 years ago
• MetaMask / eth-ipfs-browser-client
  Ethereum browser client based on ipfs/libp2p
  ☆19Updated 7 years ago
• leithaus / casper
  Formal specification and reference implementation of Casper
  ☆15Updated 10 years ago
• ipld / legacy-unixfs-v2
  This repository contains deprecated / legacy Unixfs "V2" discussions.
  ☆21Updated 5 years ago
• orbitdb-archive / research
  Decentralized Database Research
  ☆14Updated 4 years ago
• ewasm / scout
  Scout is a Ethereum 2.0 Phase 2 execution prototyping engine.
  ☆90Updated 5 years ago
• ceramicnetwork / specs
  Technical specification of the Ceramic protocol
  ☆52Updated 3 years ago
• ipfs / js-ipfs-bitswap
  JavaScript implementation of Bitswap 'data exchange' protocol used by IPFS
  ☆74Updated 5 months ago
• whiteblock / hobbits
  Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.
  ☆28Updated 6 years ago
• ipfs / go-ipld-eth-import
  Bring Ethereum to IPFS
  ☆26Updated 4 months ago