YTsaurus is a scalable and fault-tolerant open-source big data platform.

Redpanda is a streaming data platform for developers. Kafka API compatible. 10x faster. No ZooKeeper. No JVM!

YDB is an open source Distributed SQL Database that combines high availability and scalability with strong consistency and ACID transactions

A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.

🚀Memory safe, blazing fast, configurable, minimal hello world written in rust(🚀) in a few lines of code with few(1092🚀) dependencies🚀

High performance server-side application framework

TLA+ language support for Visual Studio Code

A TLA+ specification for the Xen vchan protocol

Command line binaries for the TLA+ language

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

scraps of a potential language

A curated list of my favourite music DSP and audio programming resources

A model checker for implementing distributed systems.

A workbench for writing toy implementations of distributed systems.

Robust Distributed Programming Made Easy and Efficient

Explorations in reactive UI patterns

Fast Static Symbol Table (FSST): efficient random-access string compression

A list of companies using Rust in production.

A modular implementation of timely dataflow in Rust

An implementation of differential dataflow using timely dataflow on Rust.

Flexible and modular framework for different NP-Problems with different solvers

Watches over your Cargo project's source.

Some notes on things I find interesting and important.

A pure Rust linear programming solver

Weighted Voronoi Stippler

sparse linear algebra library for rust

Hilbert Transformation and inverse for Rust

Change data capture for a variety of databases. Please log issues at https://issues.redhat.com/browse/DBZ.

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.