Alternatives and similar repositories for scilla-rtl:

Users that are interested in scilla-rtl are comparing it to the libraries listed below

• FireStack-Lab / LaksaGo
  Zilliqa Blockchain Library
  ☆14Updated 5 years ago
• paritytech / as-substrate
  Collection of libraries written in AssemblyScript
  ☆14Updated 4 years ago
• libp2p / go-libp2p-noise
  a secure channel for go-libp2p based on the Noise protocol framework
  ☆33Updated 2 years ago
• citahub / cita-vm
  CITA VM
  ☆50Updated 8 months ago
• hyperledger-archives / sawtooth-raft
  ☆26Updated 3 years ago
• pontem-network / move-book
  Book about Libra's Move language
  ☆13Updated 3 years ago
• libp2p / go-libp2p-routing
  [DEPRECATED] a collection of routing interfaces for go-libp2p; use https://github.com/libp2p/go-libp2p-core/ instead.
  ☆24Updated 5 years ago
• nervosnetwork / ckb-c-stdlib
  ☆8Updated 4 months ago
• tiancaiamao / shen-go
  A Go implementation of the Shen programming language
  ☆56Updated 2 years ago
• ETCDEVTeam / etcommon-rs
  Apache-2 licensed common Ethereum structs shared by crates
  ☆21Updated 5 years ago
• cryptape / rust-numext
  Extend the rust built-in numeric types.
  ☆32Updated 4 years ago
• jedisct1 / rust-xoodyak
  Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.
  ☆29Updated 10 months ago
• xuperchain / wavm
  A High Performance XuperChain WASM Virtual Machine based on WAVM
  ☆23Updated 5 years ago
• jedisct1 / wasmonkey
  The WASMonkey magically turns exported WASM functions into imported functions.
  ☆16Updated last year
• mohanson / wasc
  WebAssembly AOT compiler
  ☆60Updated 4 years ago
• matklad / paxosnotes
  ☆22Updated 2 years ago
• radicle-dev / radicle-registry
  An experimental Substrate implementation of the Radicle Registry 📒
  ☆34Updated 4 years ago
• losfair / FlatRv
  A cross-platform RISC-V interpreter that implements the RV32IMA instruction set.
  ☆24Updated 2 years ago
• second-state / rust-ssvm
  Use EVMC binding SSVM and host written in Rust
  ☆15Updated 3 years ago
• nano-o / PaxosMadeSimple
  A TLA+ formalization of the algorithm described in "Paxos Made Simple"
  ☆19Updated this week
• Skasselbard / Granite
  Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)
  ☆23Updated 4 years ago
• mariaschett / ppltr
  A PoPuLaToR for a PeePhoLe opTimizeR
  ☆12Updated 3 years ago
• whoiscc / hulunbuir
  General purpose thread safe GC.
  ☆7Updated 5 years ago
• Zilliqa / scilla-docs
  Documentation for Scilla
  ☆17Updated 2 years ago
• lowesyang / go-wasm-metering
  Gas metering injector for eWASM in Golang.
  ☆13Updated 5 years ago
• aprell / tasking-2.0
  Tasking 2.0
  ☆16Updated 3 years ago
• appcypher / wasmo-old
  [WIP] An embeddable high performance WebAssembly engine
  ☆37Updated 2 years ago
• ipfs / go-block-format
  ☆13Updated 3 months ago
• juliannagele / ebso
  EVM Bytecode Super Optimizer
  ☆35Updated 4 years ago
• siddontang / rust-raftkv
  A simple distributed consistent key-value store with Raft and Rust
  ☆32Updated 6 years ago