Pinned Loading

1. vmware/differential-datalog vmware/differential-datalog Public

   DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

   Java 1.4k 119

2. vmware-archive/declarative-cluster-management vmware-archive/declarative-cluster-management Public archive

   Declarative cluster management using constraint programming, where constraints are described using SQL.

   Java 100 17

3. vmware-labs/node-replicated-kernel vmware-labs/node-replicated-kernel Public

   Experimental kernel with built-in replication.

   Rust 155 17

4. facebook/rocksdb facebook/rocksdb Public

   A library that provides an embeddable, persistent key-value store for fast storage.

   C++ 28.7k 6.3k

5. cinterrupts-osdi cinterrupts-osdi Public

   C 8 5

6. amytai.github.io amytai.github.io Public

   Website

   SCSS