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
• zserge / glob-grep
  A little experiment: compare the languages aimed to replace C
  ☆55Updated 4 years ago
• ETCDEVTeam / etcommon-rs
  Apache-2 licensed common Ethereum structs shared by crates
  ☆21Updated 5 years ago
• hyperledger-archives / sawtooth-raft
  ☆26Updated 3 years ago
• radicle-dev / radicle-registry
  An experimental Substrate implementation of the Radicle Registry 📒
  ☆34Updated 4 years ago
• whoiscc / hulunbuir
  General purpose thread safe GC.
  ☆7Updated 5 years ago
• FireStack-Lab / LaksaGo
  Zilliqa Blockchain Library
  ☆14Updated 5 years ago
• jedisct1 / wasmonkey
  The WASMonkey magically turns exported WASM functions into imported functions.
  ☆16Updated 2 years ago
• nano-o / PaxosMadeSimple
  A TLA+ formalization of the algorithm described in "Paxos Made Simple"
  ☆21Updated 5 months ago
• appcypher / wasmo-old
  [WIP] An embeddable high performance WebAssembly engine
  ☆38Updated 3 years ago
• 0xPolygonZero / r1cs-zkinterface
  Compiles r1cs gadgets to the zkinterface format
  ☆10Updated 4 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 6 years ago
• Skasselbard / Granite
  Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)
  ☆23Updated 5 years ago
• cryptape / rust-numext
  Extend the rust built-in numeric types.
  ☆33Updated 4 years ago
• citahub / cita-vm
  CITA VM
  ☆50Updated last year
• tendermint / amino_rs
  Rust implementation of Amino
  ☆27Updated 5 years ago
• kurocha / concurrent
  ☆13Updated 2 years ago
• libp2p / go-libp2p-noise
  a secure channel for go-libp2p based on the Noise protocol framework
  ☆33Updated 3 years ago
• anthdm / avalanche
  A educational / research implementation of the Avalanche consensus algorithm written in Rust
  ☆38Updated 6 years ago
• second-state / rust-ssvm
  Use EVMC binding SSVM and host written in Rust
  ☆15Updated 3 years ago
• al8n / rarena
  Lock-free ARENA allocator and a set of lock-free data structures based on the ARENA allocator.
  ☆13Updated 3 months ago
• summivox / fenwick.rs
  fenwick: rust implementation of Fenwick trees (aka. binary/bit indexed trees)
  ☆8Updated 2 years ago
• koushiro / async-jsonrpc
  An async JSON-RPC 2.0 crate written in Rust.
  ☆14Updated 2 years ago
• Determinant / growth-ring
  Simple and modular write-ahead-logging implementation.
  ☆25Updated last year
• matklad / paxosnotes
  ☆23Updated 2 years ago
• pontem-network / move-book
  Book about Libra's Move language
  ☆14Updated 4 years ago
• ctz / rust-fastpbkdf2
  Rust binding for fastpbkdf2
  ☆15Updated 4 years ago
• ewasm / wasm-metering
  [ORPHANED] Injects metering into webassembly binaries
  ☆74Updated 2 years ago
• bmwill / anemo
  ☆14Updated 3 months ago
• mitchellh / zig-libuv
  Zig bindings for libuv. Also a build script to build libuv from scratch using only Zig (for easy cross-compilation, integration with Zig,…
  ☆18Updated 2 years ago