Discover @spacejam Open Source projects

Tyler Neely (@spacejam)

spacejam

Stars
10,394
Global Rank 1,990 (Top 0.07 %)
Followers 2,193
Following 143
Registered about 12 years ago
Most used languages

Rust
72.5 %

Go
10.0 %

Haskell
5.0 %

C++
2.5 %

C
2.5 %

Python
2.5 %

Erlang
2.5 %

TLA 2.5 %
Location 🇩🇪 Germany
Country Total Rank 129
Country Ranking

TLA 1

Rust
8

Erlang
146

Haskell
216

Go
502

C
5,404

C++
7,048

sled

the champagne of beta embedded databases

tla-rust

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

rio

pure rust io_uring library, built on libc, thread & async friendly, misuse resistant

extreme

extremely boring async function runner!

paxos

simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly

loghisto

counters and logarithmically bucketed histograms for distributed systems

rasputin

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

seaslug

scraps of a potential language

rsdb

rust database engineering toolkit

crack

building blocks and testing tools for reliable systems

model

model testing sugar for testing interactions on structures over time

historian

mesos-rs

Mesos bindings using the v1 HTTP API

paranoia

assert_panic_free

tx

software transactional memory in rust

sludge

speedy web micro-framework using sled, io_uring and SIMD

acid-state

rust transactional state library

quickcheck-tut

slides

icefall

eventually consistent location-agnostic serverless and mobile database

deterministic

utilities for imposing determinism on random number generators, thread execution, etc...

state-guide

overviews of consistency, availability and durability

triple

embeddable/standalone rust triple store

test-idioms

lathe

performant self-healing distributed micro-framework in rust

dots

hardware-effects-rs

A Rust port of Kobzol/hardware-effects demonstrating performance issues

inlinable-box

auto-box things that fit in a usize

lfsr

simple linear feedback shift registers for test case generation

llrb-rs

left-leaning red-black tree

programming-in-haskell

exercises, experiments, examples

idgen.go

very fast monotonic ID generator

dist-sys

well-tested flexible distributed systems building blocks

eurorack

patches for the droid eurorack modular sequencer

rust-reactive-log

performant transactional composable persistence

zk-glove

command line tools for distributed orchestration and discovery

hemlock

transactional distributed store with SSI on mesos

googleapis-rs

mechanically generated rust gRPC bindings for the google APIs

rust-srv

simple portable libresolv-backed SRV record resolution

rust-futurepool

simple future pool library for predictable concurrency

tikv-client

TiKV client powered by Tokio

belasitsa

a tiny green WSGI back end for Mongrel 2

ak47

extremely reliable networked systems toolkit

determine-disk-block-size

sitecache

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

quark

distributed liveness telemetry

quick

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

cyborg-training-camp

faultcheck

quickcheck + black box fault injection

disruptors

dirsuptor patterns in different languages

id-gen

Distributed system simulation: ID generator

cavemon

external process instrumentation from the terminal