Alternatives and similar repositories for histar

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

• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆77Updated last year
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆113Updated 5 years ago
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆215Updated 2 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• uw-unsat / hyperkernel
  ☆185Updated 5 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆99Updated 8 years ago
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆47Updated 8 years ago
• project-dune / dune
  ☆207Updated 3 years ago
• HExSA-Lab / nautilus
  Nautilus Aerokernel
  ☆47Updated 3 years ago
• ix-project / dune
  ☆33Updated 7 years ago
• avadhpatel / marss
  PTLsim and QEMU based Computer Architecture Research Simulator
  ☆130Updated 3 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆70Updated 10 years ago
• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆194Updated 5 years ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆106Updated 3 years ago
• jimix / k42
  K42 Kernel
  ☆31Updated 13 years ago
• HexHive / memTrace
  memTrace, a framework for lightweight memory tracing
  ☆58Updated 5 years ago
• mit-pdos / scalefs
  ☆21Updated 8 years ago
• nestedkernel / PerspicuOS
  This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…
  ☆55Updated 8 years ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• gwsystems / composite
  A component-based OS
  ☆192Updated 8 months ago
• ut-osa / txos
  Operating system demonstrating system transactions
  ☆16Updated 8 years ago
• ohad-rodeh / bt
  COW b-trees
  ☆107Updated 8 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆13Updated 12 years ago
• antonblanchard / will-it-scale
  ☆80Updated last year
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆66Updated 6 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆64Updated 5 years ago
• columbia / crane
  Transparent Paxos
  ☆45Updated 6 years ago
• rzezeski / libMicro
  ☆11Updated 5 years ago