The Z3 Theorem Prover

The next-generation engine for dbt

Command-line sampling profiler for macOS, Linux, and Windows

Write expressive, high-performance parsers with ease.

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

A command line tool for comparing benchmarks run by Criterion.

A collection of RBIR projects and posts for anyone interested in joining this journey.

Quickly view your data

WASM bindings for DataFusion

Web based playground for Apache DataFusion via WASM

Lakekeeper is an Apache-Licensed, secure, fast and easy to use Apache Iceberg REST Catalog written in Rust.

Allow DataFusion to resolve queries across remote query engines while pushing down as much compute as possible down.

Fluent assertion library for Rust with readable messages.

Fluent assertions for Java and Android

A very simple thread pool for parallel task execution

Enforce Data Contracts

Native JVM WebAssembly runtime

A Trino connector to access git repository contents

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

Adds "modifier key + mouse drag" move and resize to OSX

Virtual whiteboard for sketching hand-drawn like diagrams

A unified interface for distributed computing. Fugue executes SQL, Python, Pandas, and Polars code on Spark, Dask and Ray without any rewrites.

Collection of Error Prone bug checkers for the Trino ecosystem

A software library of stochastic streaming algorithms, a.k.a. sketches.

Simple JNA library to get the current machine's hostname from Java

Platform-independent serial port access for Java

Lightweight clipboard manager for macOS

Notebooks for learning Kubernetes basics