jepsen-io / local-fs

Related projects: ⓘ

• cmeiklejohn / partisan-usenix-atc-2019
  Experimental evaluation for the Partisan paper at USENIX ATC 2019.
  ☆22Updated 5 years ago
• oxidecomputer / lethe
  A basic log-structured flash datastore
  ☆20Updated last year
• justinsheehy / vertree
  a tree. with versions.
  ☆13Updated 7 years ago
• afonsonf / ceph-consensus-spec
  TLA+ specification of the Ceph consensus algorithm
  ☆20Updated 2 years ago
• FoundationDB / fdb-joshua
  FoundationDB Correctness service
  ☆28Updated 3 weeks ago
• vitorenesduarte / exp
  Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb
  ☆15Updated 3 years ago
• brendangregg / bpf-typewriter
  BPF noisy typewriter (bpftrace)
  ☆23Updated 4 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆27Updated last year
• rust-bpf / bcc-sys
  ☆24Updated 2 years ago
• vitorenesduarte / ldb
  Replication of CRDTs
  ☆38Updated 3 years ago
• jrandall / petardfs
  PetardFS - a FUSE filessytem for injecting intentional errors (e.g. for testing)
  ☆17Updated 6 years ago
• concourse / tsa
  old - now lives in https://github.com/concourse/concourse
  ☆11Updated 2 years ago
• varlink / linux-varlink
  Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes
  ☆22Updated 5 years ago
• tbg / caspaxos-tla
  TLA+ description for the CAS-Paxos algorithm
  ☆11Updated 7 years ago
• NuxiNL / scuba
  Kubernetes Container Runtime Interface daemon for running CloudABI jobs
  ☆17Updated 5 years ago
• justinj / nulldb
  ☆12Updated 3 months ago
• gunnihinn / queuesim
  A simple bounded queue simulator
  ☆21Updated 5 years ago
• SchrodingerZhu / bench_suite
  ☆19Updated 3 years ago
• andrewchambers / crushstore
  A horizontally scaling object store based on the CRUSH placement algorithm.
  ☆11Updated last year
• kflansburg / krustlet-cri
  Krustlet provider which implements Kubernetes CRI
  ☆15Updated 3 years ago
• danobi / vmtest-action
  Github Actions wrapper for vmtest
  ☆10Updated 3 weeks ago
• silentbicycle / skel
  tiny command-line skeleton/snippet thing
  ☆21Updated 6 years ago
• openebs / libcstor
  CAS Data Engine - Library to serve IOs on uZFS with synchronous replication, snapshots and clones
  ☆18Updated 9 months ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 2 years ago
• raptorjit / raptorbook
  RaptorJIT: a dynamic system programming language (manuscript)
  ☆15Updated 5 years ago
• kashirin-alex / swc-db
  SWC-DB (Super Wide Column Database) - High Performance Scalable Database
  ☆17Updated last month
• cpg1111 / pprof-ebpf
  A profiler that uses ebpf to produce pprof-format profiles
  ☆13Updated 6 years ago
• jepsen-io / redis
  Jepsen tests for Redis-Raft
  ☆14Updated 2 years ago
• ricardobcl / ServerWideClocks
  Server Wide Clocks for Distributed Eventually Consistent Systems
  ☆48Updated 7 years ago
• lasp-lang / ishikawa
  Erlang implementation of tagged reliable causal broadcast.
  ☆25Updated 6 years ago