Tobias Grieger's repositories
bikesheddb
Have your cake and eat it too: CockroachDB named YOUR way.
caspaxos-tla
TLA+ description for the CAS-Paxos algorithm
cockroachdb-diesel-example
An example using Diesel with CockroachDB
bincheck
Verify CockroachDB binaries
diesel
A safe, extensible ORM and Query Builder for Rust
differential-dataflow
An implementation of differential dataflow using timely dataflow on Rust.
dissertation
Sources for my PhD dissertation on the Raft consensus algorithm
grpc-gateway
gRPC to JSON proxy generator
hdrhistogram
A pure Go implementation of Gil Tene's HDR Histogram.
js-example
An example of using Gryadka to create web api and its end-to-end testing
kaggle-cli
An unofficial Kaggle command line tool.
kubernetes
Production-Grade Container Scheduling and Management
llvm-clang-samples
Examples of using the LLVM and Clang compilation libraries and tools
minikube
Run Kubernetes locally
prodrocket-rs
A productionized toy rust app using Postgres or CockroachDB.
rendertron
A dockerized, headless Chrome rendering solution
repo-digest
Create daily digests of activity to GitHub repositories
rust
A safe, concurrent, practical language.
rust-cuckoofilter
Cuckoo Filter: Practically Better Than Bloom (In Rust)
timely-dataflow
A modular implementation of timely dataflow in Rust
vagrant
Vagrantfile for ops-class.org machine setup.