TiDB - the open-source, cloud-native, distributed SQL database designed for modern applications.

DuckDB is an analytical in-process SQL database management system

CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.

An incremental parsing system for programming tools

GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

Temporal service

Network Analysis in Python

A beautiful, simple, clean, and responsive Jekyll theme for academics

AddressSanitizer, ThreadSanitizer, MemorySanitizer

OSS-Fuzz - continuous fuzzing for open source software.

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

The Fastest Distributed Database for Transactional, Analytical, and AI Workloads.

A modular SQL linter and auto-formatter with support for multiple dialects and templated code.

SQL Optimizer And Rewriter

Event streaming platform for agents, apps, and analytics. Continuously ingest, transform, and serve event data in real time, at scale.

Azure Data Studio is a data management and development tool with connectivity to popular cloud and on-premises databases. Azure Data Studio supports Windows, macOS, and Linux, with immediate capabi…

A framework for distributed systems verification, with fault injection

jOOQ is the best way to write SQL in Java

the portable Python dataframe library

JSqlParser parses an SQL statement and translate it into a hierarchy of Java classes. The generated hierarchy can be navigated using the Visitor Pattern

Everything that makes working with databases easier

A simple tool for visually comparing two PDF files

A language for constraint-guided and efficient LLM programming.

A course of building an LSM-Tree storage engine (database) in a week.

JRuby, an implementation of Ruby on the JVM

Code and models for ICML 2024 paper, NExT-GPT: Any-to-Any Multimodal Large Language Model

Embedded property graph database built for speed. Vector search and full-text search built in. Implements Cypher.

The P programming language.

A high performance implementation of the Ruby programming language, built on GraalVM.

A project structure aware autonomous software engineer aiming for autonomous program improvement. Resolved 37.3% tasks (pass@1) in SWE-bench lite and 46.2% tasks (pass@1) in SWE-bench verified with…