Alternatives and similar repositories for libinger:

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

• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated last year
• gz / autoperf
  Simplify the use of performance counters.
  ☆64Updated 2 years ago
• utsaslab / rustfs
  A Rust user-space file system [WIP]
  ☆29Updated 3 years ago
• flyvy-verifier / flyvy
  An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…
  ☆17Updated last week
• coinrust / erpc-rs
  eRPC library for Rust
  ☆13Updated 5 years ago
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆157Updated last year
• kaist-cp / smr-benchmark
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆39Updated 3 months ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆45Updated last year
• PrincetonUniversity / DeepSpecDB
  ☆27Updated 3 weeks ago
• GTkernel / nibble-lsm
  Concurrent Log-Structured Memory for Many-Core Key-Value Stores
  ☆35Updated 4 years ago
• mit-pdos / vmvcc
  ☆16Updated 8 months ago
• urcs-sync / Interval-Based-Reclamation
  Artifact for PPoPP'18
  ☆18Updated 2 years ago
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆35Updated 4 years ago
• rusnikola / lfsmr
  Hyaline Reclamation (PLDI '21, PODC '19)
  ☆20Updated 3 years ago
• gz / rust-perfcnt
  Rust library to program hardware performance counter.
  ☆53Updated 2 years ago
• utaal / infinity-rust
  A rust wrapper for Infinity, a lightweight RDMA library for InfiniBand
  ☆50Updated 6 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated last year
• lemonrock / context-allocator
  Rust crate to support allocation in contexts
  ☆15Updated 2 years ago
• openebs-archive / spdk-sys
  Rust bindings for SPDK
  ☆12Updated 5 years ago
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆21Updated last month
• acharapko / fleetdb
  ☆12Updated 5 years ago
• tokio-rs / simulation
  Framework for simulating distributed applications
  ☆98Updated 5 years ago
• twizzler-operating-system / twizzler-public
  Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.
  ☆65Updated 4 years ago
• PumpkinDB / rust-spdk
  Rust bindings for SPDK
  ☆19Updated 7 years ago
• ibmandura / ArtTree
  Implementation of Adaptive Radix Tree in Rust
  ☆43Updated 5 years ago
• bastion-rs / numanji
  Local-affinity first NUMA-aware allocator with optional fallback.
  ☆24Updated 3 years ago
• jedisct1 / rust-clockpro-cache
  CLOCK-Pro cache replacement algorithm for Rust
  ☆27Updated last year
• MaterializeInc / sqlparser
  The Materialize SQL parser
  ☆29Updated 5 years ago
• willcrichton / rustc-type-metaprogramming
  ☆24Updated 7 years ago