myechuri / ukd

Related projects: ⓘ

• myechuri / ukonvrt
  Tool to convert input application into unikernel image
  ☆10Updated 7 years ago
• technolo-g / unikernel-preso
  ☆10Updated this week
• tbg / caspaxos-tla
  TLA+ description for the CAS-Paxos algorithm
  ☆11Updated 7 years ago
• dcos / telemetry-net
  ☆14Updated 5 years ago
• yesco / jml
  jml - a useful web/cloud minimal unikernel distributed operating system
  ☆12Updated 3 months ago
• slfritchie / humming-consensus
  For research related to Humming Consensus: errata & corrections, source code for future work, etc.
  ☆10Updated 8 years ago
• rescrv / pocdb
  Paxos-replicated key-value store in 3 hours or less.
  ☆25Updated 7 years ago
• safchain / goebpf
  Go eBPF Library
  ☆10Updated 8 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 7 years ago
• camsas / qjump-tc
  QJump Traffic Control Module - The heart of QJump
  ☆23Updated 9 years ago
• jech / sbabeld
  Stub-only implementation of the Babel routing protocol
  ☆10Updated last year
• efficient / cuckooswitch
  A software-based Ethernet switch design built around a memory-efficient, high-performance, and highly-concurrent hash table for compact a…
  ☆34Updated 9 years ago
• cockroachdb / roachprod
  Internal CockroachDB production testing tool
  ☆15Updated 5 years ago
• acharapko / retroscope-lib
  ☆14Updated 6 years ago
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆66Updated 9 years ago
• cruzdb / cruzdb
  Append-only key-value database on a distributed shared-log
  ☆49Updated last month
• nabla-containers / nabla-base-build
  Building of Nabla base Docker images
  ☆25Updated 5 years ago
• kellabyte / pathfinder
  Pattern library
  ☆16Updated 8 years ago
• cmeiklejohn / partisan-usenix-atc-2019
  Experimental evaluation for the Partisan paper at USENIX ATC 2019.
  ☆22Updated 5 years ago
• OpenVZ / ploop
  [mirror] OpenVZ ploop
  ☆17Updated 4 months ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• clearcontainers / agent
  Virtual Machine agent for hardware virtualized containers
  ☆27Updated 6 years ago
• davedoesdev / fold
  Run VMs on a Weave network
  ☆19Updated 4 years ago
• xmidt-org / caduceus
  The Xmidt server for delivering events written in Go.
  ☆16Updated last week
• zerovm / zerocloud
  Swift middleware for Zerocloud
  ☆53Updated 5 years ago
• cloudius-systems / osv-gui
  OSv GUI
  ☆19Updated 7 years ago
• intel / ciao-webui
  ☆20Updated 7 years ago
• bholt / ipa
  Safely trading off consistency for performance.
  ☆12Updated 4 years ago
• jemc / pony-inspect
  Small Pony library for converting common objects to human-readable strings.
  ☆25Updated 2 years ago
• deferpanic / virgo
  Run Unikernels Locally and Natively on OSX and Linux
  ☆66Updated 5 years ago