StanfordSNR / gg

Related projects ⓘ

Alternatives and complementary repositories for gg

• nelhage / llama
  ☆589Updated 8 months ago
• whitequark / unfork
  unfork(2) is the inverse of fork(2). sort of.
  ☆1,464Updated 7 months ago
• vmware / differential-datalog
  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…
  ☆1,381Updated last year
• ds2-lab / infinicache
  InfiniCache: A cost-effective memory cache that is built atop ephemeral serverless functions (USENIX FAST'20)
  ☆253Updated last year
• intoli / exodus
  Painless relocation of Linux binaries–and all of their dependencies–without containers.
  ☆2,949Updated last year
• ssrg-vt / hermitux
  A binary-compatible unikernel
  ☆391Updated 3 months ago
• jamii / dida
  Differential dataflow for mere mortals
  ☆516Updated 2 years ago
• ottomatica / slim
  Build and run tiny vms from Dockerfiles. Small and sleek.
  ☆2,095Updated last year
• coord-e / magicpak
  Build minimal docker images without static linking
  ☆608Updated last year
• weaveworks / ignite
  Ignite a Firecracker microVM
  ☆3,490Updated 11 months ago
• elfshaker / elfshaker
  elfshaker stores binary objects efficiently
  ☆2,294Updated 2 months ago
• apenwarr / git-subtrac
  Keep the content for your git submodules all in one place: the parent repo.
  ☆385Updated 3 years ago
• trishume / telefork
  Like fork() but teleports the forked process to a different computer!
  ☆590Updated 3 years ago
• facebookexperimental / hermit
  Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…
  ☆1,196Updated 3 weeks ago
• zerotier / lf
  Fully Decentralized Fully Replicated Key/Value Store
  ☆890Updated last year
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,591Updated last week
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,581Updated last month
• nanovms / nanos
  A kernel designed to run one and only one application in a virtualized environment
  ☆2,655Updated this week
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆487Updated 3 weeks ago
• dflemstr / rq
  Record Query - A tool for doing record analysis and transformation
  ☆2,279Updated 11 months ago
• project-oak / oak
  Meaningful control of data in distributed systems.
  ☆1,321Updated this week
• faasm / faasm
  High-performance stateful serverless runtime based on WebAssembly
  ☆872Updated 3 weeks ago
• genuinetools / binctr
  Fully static, unprivileged, self-contained, containers as executable binaries.
  ☆2,515Updated 5 years ago
• liljencrantz / crush
  Crush is a command line shell that is also a powerful modern programming language.
  ☆1,838Updated 3 months ago
• ruslashev / elfcat
  ELF visualizer. Generates HTML files from ELF binaries.
  ☆928Updated last year
• majek / fluxcapacitor
  The engine that powers DeLorean!
  ☆830Updated 5 years ago
• zetzit / zz
  🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
  ☆1,600Updated 2 years ago
• nebulet / nebulet
  A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
  ☆2,334Updated last year
• ixy-languages / ixy-languages
  A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python
  ☆2,152Updated 5 months ago
• stephank / lazyssh
  A jump-host SSH server that starts machines on-demand
  ☆482Updated 3 years ago