Tyler Neely

Login: spacejam

Company: @oscoin

Location: Berlin, NYC, SF

Bio: reliable stateful systems at scale

Blog: http://tylerneely.com

Blog: http://tylerneely.com

Member of

3. Oscoin
4. Serverless
5. Trustroots
6. null

Repositories

acid-state

rust transactional state library

ak47

extremely reliable networked systems toolkit

atlasdb

Transactional Distributed Database layer

aurora

Mirror of Apache Aurora

belasitsa

a tiny green WSGI back end for Mongrel 2

book

A textbook on informal homotopy type theory

cavemon

external process instrumentation from the terminal

chan-signal

Respond to OS signals with channels.

chronos

Fault tolerant job scheduler for Mesos which handles dependencies and ISO8601 based schedules

cicada-engine

The Cicada engine

cicada-exp-sigmod2017-DBx1000

A fork of DBx1000 for Cicada SIGMOD 2017 evaluation

coco

Concurrent collections

crack

building blocks and testing tools for reliable systems

crossbeam

Support for parallelism and low-level concurrency in Rust

crust

A compiler from Rust to C, and a checker for unsafe code

cyborg-training-camp

null

dcos

DC/OS Build and Release tools

dejafu

Systematic concurrency testing meets Haskell.

disruptors

dirsuptor patterns in different languages

dist-sys

well-tested flexible distributed systems building blocks

dots

null

emokit

Open source driver for accessing raw data from the Emotiv EPOC EEG headset

erl_pretty_table

pretty table printing for erlang

etcd

A distributed consistent key-value store for shared configuration and service discovery

etcd-bug-data

null

etcd_conf_fuzz

null

fastperf

null

faultcheck

quickcheck + black box fault injection

folsom_webmachine

folsom based metrics via HTTP and JSON

folsom_webmachine-1

null

foundationdb

FoundationDB - the open source, distributed, transactional key-value store

Gazelle

null

gdb-bug

null

gen_opentsdb

OpenTSDB interface for Erlang

go

The Go programming language

go-wire

Go library for encoding/decoding structures into binary and JSON format.

hdr_histogram_erl

High Dynamic Range HDR Histogram for Erlang/OTP, Elixir & LFE

hemlock

transactional distributed store with SSI on mesos

hermitage

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

hier_time

do things at times!

historian

null

HoneyBadgerBFT

The Honey Badger of BFT Protocols

human-time

it's human time, like 36h or tomorrow or 12/26

iavl

Merkleized IAVL+ Tree implementation in Go

icefall

eventually consistent location-agnostic serverless and mobile database

icefalldb

null

irmin

Irmin is a distributed database that follows the same design principles as Git

iWasWhere

A geo-aware (and private) personal information manager

jepsen

Call Me Maybe: simulating network partitions in DBs

kubernetes

Container Cluster Manager from Google

kubernetes-mesos

A Kubernetes Framework for Apache Mesos

kv-C

c implementation in the key value language tour

lathe

performant self-healing distributed micro-framework in rust

lfsr

simple linear feedback shift registers for test case generation

linearizable

linearizability checker

llrb-rs

left-leaning red-black tree

loghisto

counters and logarithmically bucketed histograms for distributed systems

marathon

Deploy and manage containers (including Docker) on top of Apache Mesos at scale.

mesos

Mirror of Apache Mesos

mesos-docker-sched-example

null

mesos-rs

Mesos bindings using the v1 HTTP API

mesos-rust

Rust language bindings for Apache Mesos.

mesos_state

null

mio

Metal IO library for Rust

mirage

Cloud programming platform

mutagen

Breaking your Rust code for fun and profit

navstar

null

nomad

A Distributed, Highly Available, Datacenter-Aware Scheduler

numa

rust numa library support

painlathe

d.a.e.g.

papers-we-love

Papers from the computer science community to read and discuss.

peggy

null

plumtree

Epidemic Broadcast Trees

porcupine

A fast linearizability checker written in Go ?

programming-in-haskell

exercises, experiments, examples

proper_generators

A Collection of PropEr Generators

quark

distributed liveness telemetry

quick

property testing with shrinking, drop-in compatible with testing/quick

quickcheck

QuickCheck for Rust (with shrinking).

quickcheck-tut

null

rasputin

(getting to be a) hard to kill scalable linearizabe store

rayon

Rayon: A data parallelism library for Rust

riak_repl

Riak DC Replication

rio

rasputin robust systems toolkit

rocksdb

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

rust-crdt

a collection of well-tested, serializable CRDTs for Rust

rust-futurepool

simple future pool library for predictable concurrency

rust-kafka

rust wrapper for librdkafka

rust-protobuf-macros

Easy protobuf in rust

rust-reactive-log

performant transactional composable persistence

rust-rlwekex

quantum-resistant ring learning with errors key exchange

rust-rocksdb

rust wrapper for rocksdb

rust-san

How-to: Sanitize your Rust code!

rust-srv

simple portable libresolv-backed SRV record resolution

scary-black-box

lightweight fault injection containerization via systemd-nspawn

seer

symbolic execution engine for Rust

sewerbeast

mesos(kafka partition -> your binary [-> other kafka topic])

sitecache

transparent distributed caching proxy for distribution of static files in a datacenter

sled

sled likes eating data: alpha modern embedded database

smoke

don't breath it, yet

spacejam.github.io

docs

sparse-bitfield

Bitfield that allocates a series of small buffers.

state-guide

overviews of consistency, availability and durability

stigdb

Stig Database

storm-starter

Learn to use Storm!

swim

An Erlang implementation of the SWIM protocol

tablemaker

erlang tabular table printing

tacit-traits

null

telemetry-net

null

teller

client-side memory-hard file encryption UI

tendermint

Tendermint Core (BFT Consensus) in Go

terminals-are-sexy

? A curated list of Terminal frameworks, plugins & resources for CLI lovers.

testify

A sacred extension to the standard go testing package

tikv

Distributed transactional key value database powered by Rust and Raft

tikv-client

TiKV client powered by Tokio

tla-rust

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

tpccbench

In memory TPC-C implementation. Used for a number of database research projects.

transducifer

fatally flawed attempt at FST in Go

triple

embeddable/standalone rust triple store

vim-setup

null

void

terminal-based personal organizer

zk-glove

command line tools for distributed orchestration and discovery

zk-obliterator

on-demand tirefire

znode-size-printer

recursively prints znode sizes

zookeeper

Mirror of Apache Hadoop ZooKeeper

Commits To