Rust client for NATS, the cloud native messaging system.

Apache Spark Kubernetes Operator

HTTP mocking library for Rust

Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.

A library for building fast, reliable and evolvable network services.

HTTP routing and request-handling library for Rust that focuses on ergonomics and modularity

A powerful mock object library for Rust

Java platform support for Visual Studio Code for full featured Java development (edit-compile-debug & test cycle)

Rust Kubernetes client and controller runtime

A markup-based typesetting system that is powerful and easy to learn.

Easy E2E testing for applications built on Axum

A massively parallel, optimal functional runtime in Rust

⚙️ Layered configuration system for Rust applications (with strong support for 12-factor applications).

Apache Spark Connect Client for Rust

A scalable, distributed, collaborative, document-graph database, for the realtime web

Distributed stream processing engine in Rust

Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.

A new arguably faster implementation of Apache Spark from scratch in Rust

Serializable trait objects for Rust.

Serialisable closures for Rust.

Like fork() but teleports the forked process to a different computer!

Verified Rust for low-level systems code

A model checker for implementing distributed systems.

Verifying concurrent storage and distributed systems

A repo for all spark examples using Rapids Accelerator including ETL, ML/DL, etc.

Visual Studio Code extension for Coq

Secure and fast microVMs for serverless computing.

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Apache DataFusion Ballista Distributed Query Engine

Official Rust implementation of Apache Arrow