StanfordSNR / ggLinks
The Stanford Builder
☆988Updated 2 years ago
Alternatives and similar repositories for gg
Users that are interested in gg are comparing it to the libraries listed below
Sorting:
- ☆601Updated last year
- InfiniCache: A cost-effective memory cache that is built atop ephemeral serverless functions (USENIX FAST'20)☆254Updated 2 years ago
- unfork(2) is the inverse of fork(2). sort of.☆1,477Updated last year
- Keep the content for your git submodules all in one place: the parent repo.☆386Updated 4 years ago
- Painless relocation of Linux binaries–and all of their dependencies–without containers.☆3,000Updated last year
- Meaningful control of data in distributed systems.☆1,385Updated this week
- Measure Amazon S3's performance from any location.☆872Updated last year
- Fully Decentralized Fully Replicated Key/Value Store☆892Updated 2 years ago
- Build minimal docker images without static linking☆617Updated 2 years ago
- Like fork() but teleports the forked process to a different computer!☆604Updated 4 years ago
- Turn IP sockets into Unix domain sockets☆369Updated last year
- Ignite a Firecracker microVM☆3,511Updated last year
- Framework to Run General-Purpose Parallel Computations on AWS Lambda☆94Updated 7 years ago
- A binary-compatible unikernel☆395Updated last year
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆493Updated 10 months ago
- Skycfg is an extension library for the Starlark language that adds support for constructing Protocol Buffer messages.☆665Updated 2 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,451Updated 2 years ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,308Updated this week
- A language and an embedded JIT compiler☆1,182Updated 4 months ago
- Build and run tiny vms from Dockerfiles. Small and sleek.☆2,124Updated 2 years ago
- Fully static, unprivileged, self-contained, containers as executable binaries.☆2,517Updated 6 years ago
- A model checker for implementing distributed systems.☆1,698Updated last month
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,055Updated 8 years ago
- Differential dataflow for mere mortals☆523Updated 3 years ago
- Content-Addressable Data Synchronization Tool☆1,530Updated last year
- Crush is a command line shell that is also a powerful modern programming language.☆1,879Updated 3 weeks ago
- A jump-host SSH server that starts machines on-demand☆508Updated 4 years ago
- This repo presents a reference architecture for running serverless MapReduce jobs. This has been implemented using AWS Lambda and Amazon …☆427Updated 2 years ago
- HSE: Heterogeneous-memory storage engine☆673Updated 2 years ago
- ZFS, in Python, without reading the original C.☆567Updated 6 years ago