StanfordSNR / gg
The Stanford Builder
☆987Updated 2 years ago
Alternatives and similar repositories for gg:
Users that are interested in gg are comparing it to the libraries listed below
- ☆595Updated last year
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,243Updated this week
- Keep the content for your git submodules all in one place: the parent repo.☆385Updated 4 years ago
- Like fork() but teleports the forked process to a different computer!☆598Updated 3 years ago
- Build minimal docker images without static linking☆610Updated last year
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,402Updated last year
- A model checker for implementing distributed systems.☆1,618Updated 5 months ago
- unfork(2) is the inverse of fork(2). sort of.☆1,473Updated 11 months ago
- An implementation of differential dataflow using timely dataflow on Rust.☆2,662Updated 2 weeks ago
- InfiniCache: A cost-effective memory cache that is built atop ephemeral serverless functions (USENIX FAST'20)☆254Updated 2 years ago
- Fully Decentralized Fully Replicated Key/Value Store☆893Updated 2 years ago
- Differential dataflow for mere mortals☆519Updated 2 years ago
- Cache AnyThing filesystem written in Rust☆879Updated last year
- elfshaker stores binary objects efficiently☆2,302Updated 6 months ago
- Just One Single History☆1,563Updated 3 weeks ago
- A handy tool for doing efficient in-memory commit rebases & fixups☆757Updated last month
- Fully static, unprivileged, self-contained, containers as executable binaries.☆2,517Updated 5 years ago
- Crush is a command line shell that is also a powerful modern programming language.☆1,848Updated 7 months ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆491Updated 4 months ago
- Meaningful control of data in distributed systems.☆1,348Updated this week
- A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python☆2,162Updated 9 months ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,055Updated 7 years ago
- A modular implementation of timely dataflow in Rust☆3,394Updated last week
- Distributed, MVCC SQLite that runs on FoundationDB.☆1,462Updated 3 weeks ago
- Turn IP sockets into Unix domain sockets☆365Updated 8 months ago
- Highly-available Distributed Fault-tolerant Runtime☆2,833Updated last year
- Record Query - A tool for doing record analysis and transformation☆2,284Updated last year
- Painless relocation of Linux binaries–and all of their dependencies–without containers.☆2,953Updated last year
- Build and run tiny vms from Dockerfiles. Small and sleek.☆2,108Updated 2 years ago
- You might not need your garbage collector☆540Updated 4 years ago