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.
  ☆162Updated 5 months ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆65Updated 2 years ago
• twizzler-operating-system / twizzler
  The Twizzler Operating System
  ☆103Updated this week
• gz / autoperf
  Simplify the use of performance counters.
  ☆64Updated 3 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.
  ☆66Updated 5 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆83Updated 2 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆39Updated 5 years ago
• jedisct1 / rust-clockpro-cache
  CLOCK-Pro cache replacement algorithm for Rust
  ☆27Updated last year
• mit-pdos / ward
  ☆30Updated 4 years ago
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆105Updated 3 years ago
• rcslab / aurora
  Aurora Single Level Store
  ☆32Updated 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…
  ☆21Updated 2 months ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆47Updated 2 years ago
• pornin / cycle-counter
  ☆24Updated last year
• penberg / manticore
  Manticore is a research operating system, written in Rust.
  ☆295Updated 2 years ago
• NicolasLagaillardie / mpst_rust_github
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆31Updated last year
• bitslab / ffwd
  This is the public release of the ffwd delegation system, and associated benchmarks from the SOSP'17 paper.
  ☆79Updated 8 years ago
• GTkernel / nibble-lsm
  Concurrent Log-Structured Memory for Many-Core Key-Value Stores
  ☆36Updated 5 years ago
• utaal / infinity-rust
  A rust wrapper for Infinity, a lightweight RDMA library for InfiniBand
  ☆52Updated 6 years ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆92Updated last year
• rusnikola / lfsmr
  Hyaline Reclamation (PLDI '21, PODC '19)
  ☆23Updated 4 years ago
• uw-unsat / yggdrasil
  ☆33Updated 3 years 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…
  ☆148Updated 4 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• PolySync / cargo-fel4
  A Cargo subcommand for working with feL4 projects.
  ☆52Updated 7 years ago
• gz / rust-perfcnt
  Rust library to program hardware performance counter.
  ☆55Updated 3 years ago
• matthias-brun / verified-nrkernel
  ☆22Updated last week
• ballard26 / concurrent-hamt
  ☆86Updated 9 years ago
• HExSA-Lab / nautilus
  Nautilus Aerokernel
  ☆48Updated 3 years ago