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
- InfiniCache: A cost-effective memory cache that is built atop ephemeral serverless functions (USENIX FAST'20)☆254Updated 2 years ago
- A model checker for implementing distributed systems.☆1,621Updated 6 months ago
- Keep the content for your git submodules all in one place: the parent repo.☆385Updated 4 years ago
- elfshaker stores binary objects efficiently☆2,302Updated 7 months ago
- UtahFS is an encrypted storage system that provides a user-friendly FUSE drive backed by cloud storage.☆819Updated 6 months ago
- Differential dataflow for mere mortals☆521Updated 3 years ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,247Updated this week
- Ignite a Firecracker microVM☆3,493Updated last year
- 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,403Updated last year
- Painless relocation of Linux binaries–and all of their dependencies–without containers.☆2,953Updated last year
- Fully static, unprivileged, self-contained, containers as executable binaries.☆2,519Updated 5 years ago
- Crush is a command line shell that is also a powerful modern programming language.☆1,849Updated 8 months ago
- Container registry which transparently builds images using the Nix package manager. Canonical repository is https://cs.tvl.fyi/depot/-/tr…☆1,868Updated 2 months ago
- CUE has moved to https://github.com/cue-lang/cue☆3,075Updated 3 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆492Updated 5 months ago
- Fully Decentralized Fully Replicated Key/Value Store☆894Updated 2 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,054Updated 7 years ago
- Just One Single History☆1,571Updated last month
- Like fork() but teleports the forked process to a different computer!☆598Updated 3 years ago
- A jump-host SSH server that starts machines on-demand☆485Updated 4 years ago
- A low-latency, cloud-native KVS☆705Updated 4 years ago
- Embeddable, replicated and fault-tolerant SQL engine.☆4,006Updated this week
- Distributed, MVCC SQLite that runs on FoundationDB.☆1,472Updated this week
- Maintainable configuration files☆4,298Updated last week
- A handy tool for doing efficient in-memory commit rebases & fixups☆772Updated this week
- An implementation of differential dataflow using timely dataflow on Rust.☆2,676Updated 2 weeks ago
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,602Updated 2 years ago
- Build and run tiny vms from Dockerfiles. Small and sleek.☆2,108Updated 2 years ago