Alternatives and similar repositories for scilla-rtl

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

• losfair / FlatRv
  A cross-platform RISC-V interpreter that implements the RV32IMA instruction set.
  ☆24Updated 2 years ago
• pontem-network / move-book
  Book about Libra's Move language
  ☆14Updated 4 years ago
• FireStack-Lab / LaksaGo
  Zilliqa Blockchain Library
  ☆14Updated 5 years ago
• citahub / cita-vm
  CITA VM
  ☆50Updated last year
• jedisct1 / wasmonkey
  The WASMonkey magically turns exported WASM functions into imported functions.
  ☆16Updated 2 years ago
• geode-lang / geode
  The Geode Programming Language
  ☆16Updated 5 years ago
• zserge / glob-grep
  A little experiment: compare the languages aimed to replace C
  ☆55Updated 4 years ago
• whoiscc / hulunbuir
  General purpose thread safe GC.
  ☆7Updated 5 years ago
• libp2p / go-libp2p-noise
  a secure channel for go-libp2p based on the Noise protocol framework
  ☆33Updated 3 years ago
• fluo-lang / fluoc
  a concurrent compiled programming language
  ☆15Updated 2 years ago
• brson / rust-is-for-blockchain
  Slides about the Rust in the blockchain industry
  ☆10Updated 2 years ago
• nervosnetwork / ckb-c-stdlib
  ☆8Updated 2 months ago
• jorendorff / gc-in-50-lines
  An example mark-and-sweep garbage collector in 50 lines of C++
  ☆54Updated 8 years ago
• kurocha / concurrent
  ☆13Updated 2 years ago
• koushiro / async-jsonrpc
  An async JSON-RPC 2.0 crate written in Rust.
  ☆14Updated 2 years ago
• second-state / rust-ssvm
  Use EVMC binding SSVM and host written in Rust
  ☆15Updated 3 years ago
• WebAssembly / mutable-global
  Import & export of mutable globals
  ☆17Updated 6 years ago
• matklad / paxosnotes
  ☆23Updated 2 years ago
• moss-lang / moss
  A programming language.
  ☆12Updated 2 years ago
• aprell / tasking-2.0
  Tasking 2.0
  ☆16Updated 3 years ago
• ETCDEVTeam / etcommon-rs
  Apache-2 licensed common Ethereum structs shared by crates
  ☆21Updated 5 years ago
• Skasselbard / Granite
  Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)
  ☆23Updated 5 years ago
• trackoor / Pistolet
  🔫 Toy ML-like Imperative Programming Language (WIP)
  ☆10Updated 4 years ago
• hyperledger-archives / sawtooth-raft
  ☆26Updated 3 years ago
• comit-network / rust-secp256k1-zkp
  ☆10Updated 3 years ago
• juliannagele / ebso
  EVM Bytecode Super Optimizer
  ☆36Updated 4 years ago
• libp2p / research-dht
  Moved discussion notes to https://github.com/libp2p/notes
  ☆21Updated 5 years ago
• appcypher / wasmo-old
  [WIP] An embeddable high performance WebAssembly engine
  ☆38Updated 3 years ago
• wasmerio / wasmer-c-api
  Example of the C API to embed the Wasmer runtime
  ☆79Updated 3 years ago
• Zilliqa / scilla-docs
  Documentation for Scilla
  ☆17Updated 2 years ago