spacejam/faultcheck spacejam/faultcheck

  • Stars
    star
    1
  • Language
  • Created about 8 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
spacejam/faultcheck
github

spacejam

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

quickcheck + black box fault injection

More Repositories

1

sled

the champagne of beta embedded databases
Rust
8,111
star
2

tla-rust

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

rio

pure rust io_uring library, built on libc, thread & async friendly, misuse resistant
Rust
934
star
4

extreme

extremely boring async function runner!
Rust
151
star
5

paxos

simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly
Rust
139
star
6

loghisto

counters and logarithmically bucketed histograms for distributed systems
Go
82
star
7

rasputin

(getting to be a) hard to kill scalable linearizabe store
Rust
76
star
8

seaslug

scraps of a potential language
Rust
36
star
9

rsdb

rust database engineering toolkit
Rust
33
star
10

model

model testing sugar for testing interactions on structures over time
Rust
27
star
11

crack

building blocks and testing tools for reliable systems
Rust
27
star
12

historian

Rust
22
star
13

mesos-rs

Mesos bindings using the v1 HTTP API
Rust
17
star
14

paranoia

Rust
16
star
15

assert_panic_free

Rust
15
star
16

tx

software transactional memory in rust
Rust
13
star
17

sludge

speedy web micro-framework using sled, io_uring and SIMD
Rust
12
star
18

acid-state

rust transactional state library
Rust
11
star
19

quickcheck-tut

Rust
10
star
20

state-guide

overviews of consistency, availability and durability
8
star
21

slides

7
star
22

icefall

eventually consistent location-agnostic serverless and mobile database
7
star
23

deterministic

utilities for imposing determinism on random number generators, thread execution, etc...
Rust
7
star
24

triple

embeddable/standalone rust triple store
Rust
6
star
25

test-idioms

Rust
5
star
26

lathe

performant self-healing distributed micro-framework in rust
4
star
27

dots

Haskell
4
star
28

hardware-effects-rs

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

inlinable-box

auto-box things that fit in a usize
Rust
4
star
30

lfsr

simple linear feedback shift registers for test case generation
Rust
4
star
31

programming-in-haskell

exercises, experiments, examples
Haskell
4
star
32

llrb-rs

left-leaning red-black tree
Rust
4
star
33

idgen.go

very fast monotonic ID generator
3
star
34

dist-sys

well-tested flexible distributed systems building blocks
3
star
35

eurorack

patches for the droid eurorack modular sequencer
3
star
36

rust-reactive-log

performant transactional composable persistence
Rust
3
star
37

zk-glove

command line tools for distributed orchestration and discovery
Go
3
star
38

hemlock

transactional distributed store with SSI on mesos
C++
2
star
39

rust-srv

simple portable libresolv-backed SRV record resolution
Rust
2
star
40

rust-futurepool

simple future pool library for predictable concurrency
Rust
2
star
41

tikv-client

TiKV client powered by Tokio
Rust
2
star
42

belasitsa

a tiny green WSGI back end for Mongrel 2
Python
2
star
43

ak47

extremely reliable networked systems toolkit
2
star
44

quark

distributed liveness telemetry
Erlang
2
star
45

determine-disk-block-size

2
star
46

sitecache

transparent distributed caching proxy for distribution of static files in a datacenter
Go
2
star
47

googleapis-rs

mechanically generated rust gRPC bindings for the google APIs
Rust
2
star
48

quick

property testing with shrinking, drop-in compatible with testing/quick
Go
2
star
49

cyborg-training-camp

C
1
star
50

disruptors

dirsuptor patterns in different languages
1
star
51

id-gen

Distributed system simulation: ID generator
Rust
1
star
52

cavemon

external process instrumentation from the terminal
1
star