Alternatives and similar repositories for libinger:

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

• gz / autoperf
  Simplify the use of performance counters.
  ☆64Updated 2 years ago
• uw-unsat / yggdrasil
  ☆31Updated 3 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆45Updated last year
• antiguru / rust-lgalloc
  Large object allocator for Rust
  ☆14Updated last month
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated last year
• 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 month
• kaist-cp / smr-benchmark
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆39Updated 4 months ago
• GTkernel / nibble-lsm
  Concurrent Log-Structured Memory for Many-Core Key-Value Stores
  ☆35Updated 4 years ago
• rusnikola / lfsmr
  Hyaline Reclamation (PLDI '21, PODC '19)
  ☆20Updated 3 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago
• pandaman64 / sabi
  Formal semantics of Rust
  ☆23Updated 4 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated last month
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆33Updated 2 months ago
• PumpkinDB / rust-spdk
  Rust bindings for SPDK
  ☆19Updated 7 years ago
• openebs-archive / spdk-sys
  Rust bindings for SPDK
  ☆12Updated 5 years ago
• utsaslab / rustfs
  A Rust user-space file system [WIP]
  ☆29Updated 3 years ago
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆157Updated last year
• willcrichton / rustc-type-metaprogramming
  ☆24Updated 7 years ago
• ibmandura / ArtTree
  Implementation of Adaptive Radix Tree in Rust
  ☆43Updated 5 years ago
• urcs-sync / Interval-Based-Reclamation
  Artifact for PPoPP'18
  ☆19Updated 3 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• josehu07 / summerset
  Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research
  ☆13Updated 5 months ago
• coinrust / erpc-rs
  eRPC library for Rust
  ☆14Updated 5 years ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆66Updated 6 years ago
• bitslab / ffwd
  This is the public release of the ffwd delegation system, and associated benchmarks from the SOSP'17 paper.
  ☆78Updated 7 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• multicore-locks / litl
  LiTL: Library for Transparent Lock Interposition
  ☆79Updated last year
• acharapko / fleetdb
  ☆12Updated 5 years ago
• gz / rust-perfcnt
  Rust library to program hardware performance counter.
  ☆53Updated 2 years ago