An incremental parsing system for programming tools

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

Event streaming platform for agentic AI. Continuously ingest, transform, and serve event streams in real time, at scale.

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

Implementation of the Cedar Policy Language

Framework and Language for Neurosymbolic Programming.

A language for building Docker/OCI container images

language-agnostic program reducer.

Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation

Rewrite Rule Inference Using Equality Saturation

ROSA: Finding Backdoors with Fuzzing