Tyler Neely

the champagne of beta embedded databases

Sled is an embedded key-value database for Rust apps, no separate server, no SQL schema, just open a file and read or write keys with transactions, range scans, and real-time change watchers.

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

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

extremely boring async function runner!

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

counters and logarithmically bucketed histograms for distributed systems

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

scraps of a potential language

rust database engineering toolkit

building blocks and testing tools for reliable systems

model testing sugar for testing interactions on structures over time

No description.

Mesos bindings using the v1 HTTP API

No description.

No description.

software transactional memory in rust

speedy web micro-framework using sled, io_uring and SIMD

rust transactional state library

No description.

overviews of consistency, availability and durability

generate DX7 audio samples from your favorite SYSEX

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

cli tool that generates an Elektron Tonverk-compatible multisample from a DX7-compatible SYSEX config

embeddable/standalone rust triple store

No description.

eventually consistent location-agnostic serverless and mobile database

No description.

No description.

exercises, experiments, examples

auto-box things that fit in a usize

simple linear feedback shift registers for test case generation

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

performant self-healing distributed micro-framework in rust

left-leaning red-black tree

open source training courses about distributed database and distributed systemes

well-tested flexible distributed systems building blocks

patches for the droid eurorack modular sequencer

very fast monotonic ID generator

command line tools for distributed orchestration and discovery

performant transactional composable persistence

a simple website that generates Elektron Tonverk multisamples from your favorite DX7 SYSEX patches

An experimental open-source attempt to make GPT-4 fully autonomous.

alice testing sled

extremely reliable networked systems toolkit

No description.

List of resources related to LD_PRELOAD, a mechanism for changing application behavior at run-time

a tiny green WSGI back end for Mongrel 2

simple portable libresolv-backed SRV record resolution

distributed liveness telemetry

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

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

TiKV client powered by Tokio

mechanically generated rust gRPC bindings for the google APIs

simple future pool library for predictable concurrency

transactional distributed store with SSI on mesos

experiment combining verus with simulation testing of simple CASPaxos implementation

storage engine combinators

A Distributed, Highly Available, Datacenter-Aware Scheduler

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

No description.

Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.

800,000 step-level correctness labels on LLM solutions to MATH problems

dirsuptor patterns in different languages

Demikernel OS

Systematic concurrency testing meets Haskell.

DC/OS Build and Release tools

No description.

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

Support for parallelism and low-level concurrency in Rust

Concurrent collections

A fork of DBx1000 for Cicada SIGMOD 2017 evaluation

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

The Cicada engine

Respond to OS signals with channels.

external process instrumentation from the terminal

A textbook on informal homotopy type theory

Bologna Optimal Higher-Order Machine, Version 1.1

Rust implementation of automerge

Transactional Distributed Database layer

Mirror of Apache Aurora

Async version of the Rust standard library

Async I/O and timers

Distributed system simulation: ID generator

GlueSQL is quite sticky, it attaches to anywhere.

A rust binding for the zstd compression library.

sccache is ccache with cloud storage

UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.

quickcheck + black box fault injection

Apache Cassandra®

docs

No description.

Create your own RPG-like talent tree

A Quaint Hostel Shop with Sharp Tools

A multifaceted looper for the Versio platform.

Open-source graph database, tuned for dynamic analytics environments. Easy to adopt, scale and own.

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

A Kubernetes Framework for Apache Mesos

No description.

a high performance cache simulator and library

Code and model for the paper "Improving Language Understanding by Generative Pre-Training"

This is a library plus a test harness for collecting algorithms that use the GraphBLAS. For test coverage reports, see https://graphblas.org/LAGraph/ .

No description.

Computing-focused community centered around link aggregation and discussion

Minimum requirements for triggering an M1 CPU panic

For learning .

A static verifier for Rust, based on the Viper verification infrastructure.

No description.

A template for writing your Bachelor, Master or PhD thesis.

Tutorial on tail latency using NATS

historical archive of rust pre-publication development

No description.

Key-Value Store for Non-Volatile Memories uDepot

Fast and efficient ed25519 signing and verification in Rust.

The seL4 microkernel

No description.

No description.

Merkleized IAVL+ Tree implementation in Go

Golang client for NATS, the cloud native messaging system.

Empowering everyone to build reliable and efficient software.

Demonstration of various hardware effects.

io_uring echo server

[Deprecated] A distributed Load Balancer

k crash course

Correctness test runner for MongoDB API endpoint and instructions for performance testing

:globe_with_meridians: Jekyll is a blog-aware static site generator in Ruby

An experimental Rust compiler front-end for IDEs

Metal IO library for Rust

Substrate: The platform for blockchain innovators

Support for Linux kernel aio within Tokio.

No description.

You know what this is...

Proposed compiler and language changes for GHC and GHC/Haskell

Board support crate for the Decawave DWM1001/DWM1001-Dev boards.

No description.

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

Distributed transactional key value database powered by Rust and Raft

Bitfield that allocates a series of small buffers.

Stig Database

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

Breaking your Rust code for fun and profit

rust numa library support

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

No description.

The Go programming language

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

Tendermint Core (BFT Consensus) in Go

Riak DC Replication

No description.

How-to: Sanitize your Rust code!

linearizability checker

symbolic execution engine for Rust

A fast linearizability checker written in Go 🔎

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

No description.

The Honey Badger of BFT Protocols

don't breath it, yet

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

No description.

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

client-side memory-hard file encryption UI

do things at times!

Rayon: A data parallelism library for Rust

A geo-aware (and private) personal information manager

QuickCheck for Rust (with shrinking).

lightweight fault injection containerization via systemd-nspawn

Call Me Maybe: simulating network partitions in DBs

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

No description.

quantum-resistant ring learning with errors key exchange

Rust language bindings for Apache Mesos.

OpenTSDB interface for Erlang

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

erlang tabular table printing

pretty table printing for erlang

No description.

folsom based metrics via HTTP and JSON

No description.

A Collection of PropEr Generators

An Erlang implementation of the SWIM protocol

Epidemic Broadcast Trees

Easy protobuf in rust

on-demand tirefire

recursively prints znode sizes

No description.

No description.

A sacred extension to the standard go testing package

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

fatally flawed attempt at FST in Go

No description.

Mirror of Apache Mesos

Container Cluster Manager from Google

Papers from the computer science community to read and discuss.

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

Mirror of Apache Hadoop ZooKeeper

Cloud programming platform

rust wrapper for librdkafka

Learn to use Storm!

c implementation in the key value language tour

d.a.e.g.