Alternatives and similar repositories for libinger

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

• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆160Updated 2 months ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆65Updated 2 years ago
• gz / autoperf
  Simplify the use of performance counters.
  ☆64Updated 3 years ago
• twizzler-operating-system / twizzler
  The Twizzler Operating System
  ☆97Updated this week
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆39Updated 5 years ago
• bitslab / ffwd
  This is the public release of the ffwd delegation system, and associated benchmarks from the SOSP'17 paper.
  ☆79Updated 7 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 5 years ago
• penberg / manticore
  Manticore is a research operating system, written in Rust.
  ☆293Updated last year
• dgreid / crosvm
  ☆54Updated 2 months ago
• backtrace-labs / slitter
  Slitter is a C- and Rust-callable slab allocator implemented primarily in Rust, with some C for performance or to avoid unstable Rust fea…
  ☆147Updated 4 years ago
• rcslab / aurora
  Aurora Single Level Store
  ☆31Updated last year
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆82Updated 2 years ago
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆153Updated last year
• jedisct1 / rust-clockpro-cache
  CLOCK-Pro cache replacement algorithm for Rust
  ☆27Updated last year
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• pornin / cycle-counter
  ☆23Updated 9 months ago
• rust-vmm / vfio-bindings
  ☆11Updated 3 years ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆47Updated 2 years ago
• rusnikola / lfsmr
  Hyaline Reclamation (PLDI '21, PODC '19)
  ☆22Updated 4 years ago
• HExSA-Lab / nautilus
  Nautilus Aerokernel
  ☆46Updated 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…
  ☆18Updated this week
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆90Updated last year
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆74Updated last year
• gz / rust-perfcnt
  Rust library to program hardware performance counter.
  ☆54Updated 2 years ago
• matthias-brun / verified-nrkernel
  ☆20Updated 2 weeks ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆56Updated 2 years ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆36Updated 2 months ago
• kaist-cp / smr-benchmark
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆44Updated last month
• PrincetonUniversity / DeepSpecDB
  ☆27Updated 5 months ago