Discover @spacejam Open Source projects

Tyler Neely (@spacejam)

spacejam

Stars
10,806
Global Rank 1,969 (Top 0.07 %)
Followers 2,305
Following 148
Registered over 12 years ago
Most used languages

Rust
72.5 %

Go
10.0 %

Haskell
5.0 %

TLA 2.5 %

C
2.5 %

C++
2.5 %

Erlang
2.5 %

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

TLA 1

Rust
9

Erlang
135

Haskell
217

Go
519

C
5,631

C++
7,548

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

model

model testing sugar for testing interactions on structures over time

crack

building blocks and testing tools for reliable systems

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

state-guide

overviews of consistency, availability and durability

slides

icefall

eventually consistent location-agnostic serverless and mobile database

deterministic

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

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

programming-in-haskell

exercises, experiments, examples

llrb-rs

left-leaning red-black tree

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

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

quark

distributed liveness telemetry

determine-disk-block-size

sitecache

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

googleapis-rs

mechanically generated rust gRPC bindings for the google APIs

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