bulletty is a pretty feed reader for the terminal that stores the articles as Markdown

A library for integration-testing against docker containers from within Rust.

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

Protocol and libraries for sending and receiving OpenTelemetry data using Apache Arrow

Apache DataFusion Ballista Distributed Query Engine

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

Build Container Images In Kubernetes

🚀 RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platforms such as MinIO and Ceph.

Your Neovim AI sidekick

GitHub Copilot CLI brings the power of Copilot coding agent directly to your terminal.

Official Rapier plugin for the Bevy game engine.

Tool to `cargo vendor` with filtering

Fit interpretable models. Explain blackbox machine learning.

A high-performance inference engine for AI models

✨ AI Coding, Vim Style

Manipulating Python Programs

A Periodic Table of System Design Principles

A lightweight message queue. Like AWS SQS and RSMQ but on Postgres.

Seamless integration between Claude Code AI assistant and Neovim

Useless embedded DSL and monadic interpreter for BASIC.

A TPE (Tree-structured Parzen Estimator) implementation in Rust

Containerization is a Swift package for running Linux containers on macOS.

A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

A Hardware Description Language based on the Rust Programming Language

Obsidian 🤝 Neovim

A Lean companion to Analysis I

All reasonably stable tools

Microsoft MSAL C++ Example

A Rust port of FlameGraph

🐏 rpmalloc global memory allocator for Rust 🦀