Alternatives and similar repositories for FlatRv

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

• icefoxen / nanowasm
  A small standalone WebAssembly interpreter in Rust
  ☆36Updated 6 years ago
• matklad / paxosnotes
  ☆23Updated 2 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• bastion-rs / allocator-suite
  Allocator Suite which contains various allocators for workload-specific allocation.
  ☆15Updated 4 years ago
• kenny-ngo / wasmjit
  Kernel Mode WebAssembly Runtime for Linux
  ☆46Updated 5 years ago
• PLSysSec / ct-wasm
  Constant-Time WebAssembly
  ☆24Updated 6 years ago
• nano-o / PaxosMadeSimple
  A TLA+ formalization of the algorithm described in "Paxos Made Simple"
  ☆21Updated 3 months ago
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆36Updated 8 months ago
• jedisct1 / rust-clockpro-cache
  CLOCK-Pro cache replacement algorithm for Rust
  ☆27Updated last year
• srijs / rust-gearhash
  Fast, SIMD-accelerated hash function for content-defined chunking
  ☆23Updated 5 years ago
• kogai / wasvm
  WebAssembly Virtual Machine, which aim to run on micro-controller
  ☆52Updated 2 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 7 months ago
• luteberget / minisat-rs
  Rust crate which compiles minisat and provides an interface (C/C++ compiler required)
  ☆11Updated 3 years ago
• cgswords / rsc
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆12Updated 6 years ago
• graydon / clepsydra
  small distributed database protocol
  ☆31Updated 4 years ago
• losfair / hexagon-e
  The HexagonE VM
  ☆26Updated 2 years ago
• rsaarelm / nock-rs
  ☆14Updated 8 years ago
• pornin / cycle-counter
  ☆22Updated 5 months ago
• komora-io / stack-map
  constant-size associative container backed by a simple array
  ☆19Updated last year
• drom / LEB128
  Little Endian Base 128 converters
  ☆9Updated 7 years ago
• jedisct1 / zig-eddsa-key-blinding
  A Zig implementation of EdDSA signatures with blind keys.
  ☆17Updated last year
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆26Updated 3 years ago
• rutgers-apl / rlibm
  Rutgers APL correctly rounded math library
  ☆29Updated 4 years ago
• bobbin-rs / bobbin-wasm
  A #[no_std], allocation-free WebAssembly interpreter written in Rust
  ☆13Updated 6 years ago
• tomerdmnt / levelfs
  leveldb FUSE filesystem
  ☆15Updated 10 years ago
• uw-unsat / jitsynth
  ☆18Updated 5 years ago
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆22Updated 2 years ago
• pliniker / dispatchers
  Virtual Machine/Interpreter dispatch method experiments in Rust
  ☆38Updated 7 years ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆32Updated 4 years ago
• SchrodingerZhu / bench_suite
  ☆20Updated 4 years ago