An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)

PostBOUND is a research framework to prototype and benchmark database query optimizers

A open-source guide that demystifies how U.S. universities evaluate and admit students into Computer Science PhD programs.

Text-audio foundation model from Boson AI

Fast, Flexible and Portable Structured Generation

Star Schema Benchmark data set generator (dbgen) - unified repository

Canonical is a performant sound and complete type inhabitation solver for dependent type theory.

Actor framework for Rust.

The Feldera Incremental Computation Engine

A safe and fast multi-producer, multi-consumer channel.

DuckLake is an integrated data lake and catalog format

One advanced and mature open-source MPP (Massively Parallel Processing) database. Open source alternative to Greenplum Database.

A course of learning LLM inference serving on Apple Silicon for systems engineers: build a tiny vLLM + Qwen.

Use PostgreSQL's planner hook to open a side entrance through which we can pass plan trees for immediate execution

Coral is a translation, analysis, and query rewrite engine for SQL and other relational languages.

A lightweight data processing framework built on DuckDB and 3FS.

Concurrent Link-Cut Trees. The first concurrent implementation of link-cut trees: 10x speedup!

Extension adding support for optimizer hints in PostgreSQL

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

A safe, extensible ORM and Query Builder for Rust

A generic connection pool for Rust

Python SQL Parser and Transpiler

Postgres Explain Visualizer 2

Ascii charts editor

Apache DataFusion SQL Query Engine

FUSE filesystem over Google Drive

Query Optimizer Service

GitHub Action for continuous benchmarking to keep performance

🐰 Bencher - Continuous Benchmarking