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
  ☆29Updated 6 years ago
• Agoric / SwingSet
  MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains
  ☆18Updated 6 years ago
• primea / js-primea-hypervisor
  a JavaScript Implementation of Primea HyperVisor
  ☆41Updated 5 years ago
• orbitdb-archive / research
  Decentralized Database Research
  ☆14Updated 4 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 9 years ago
• o1-labs / snarkette
  Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
  ☆55Updated 6 years ago
• GravityNetwork / Gravity
  Gravity Network: a distributed computing architecture for resilience and interoperability
  ☆37Updated 8 years ago
• primea / design
  Documentation and research notes related to the Prima Kernel
  ☆19Updated 8 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
• ipld / js-ipld-ethereum
  JavaScript Implementation of All Ethereum IPLD formats
  ☆39Updated 4 years ago
• raineorshine / functional-solidity-language
  A typed, functional language that targets the EVM.
  ☆55Updated 8 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago
• leithaus / casper
  Formal specification and reference implementation of Casper
  ☆15Updated 10 years ago
• gavofyork / curly-engine
  ☆12Updated 9 years ago
• evm-lang-design / evm-lang-design
  Language Design Community for the EVM: Intro and Resources
  ☆133Updated 8 years ago
• dfinity-side-projects / js-libp2p-gossip-discovery
  implements peer discovery using a gossip protocol
  ☆23Updated 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
• dapphub / hevm
  (OLD REPO) A debug-oriented Ethereum VM (EVM)
  ☆114Updated 7 years ago
• handshake-org / urkel
  Cryptographically provable database (i.e. an urkel tree)
  ☆126Updated 2 years ago
• cosmos / research
  ☆22Updated 5 years ago
• MetaMask / eth-ipfs-browser-client
  Ethereum browser client based on ipfs/libp2p
  ☆19Updated 8 years ago
• mmalvarez / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆33Updated 5 years ago
• informalsystems / themis-contract
  A command line-based parameterized contracting tool
  ☆46Updated 2 years ago
• SilentCicero / wafr
  A super simple Solidity test harness for Ethereum smart-contracts.
  ☆30Updated 8 years ago
• NodeGuy / Deterministic.js
  a deterministic version of JavaScript
  ☆30Updated 4 years ago
• DigixGlobal / tempo
  ⏱ Testing tool: Block & time management over RPC
  ☆14Updated 6 years ago
• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆124Updated 4 years ago
• zcash-hackworks / zcash-primitives-js
  Zcash primitives in pure JavaScript
  ☆28Updated 8 years ago
• vyzo / gerbil-simsub
  A gossipsub protocol simulator
  ☆41Updated 3 years ago