Stars
A keyboard-driven, vim-like browser based on Python and Qt.
GLSL transpiler with the goal of minifying the input shader in a way that makes it easy to compress.
SQLite3 extension for read-only HTTP(S) database access
An incremental parsing system for programming tools
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturatio…
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
egg is a flexible, high-performance e-graph library
An improved plot widget for Dear ImGui, aimed at displaying audio data
Query processing and transformation of array-backed data tables.
A code rewrite tool for structural search and replace that supports ~every language.
Convert .ninja_log files to chrome's about:tracing format.
Engines, queries, and data for dynamic Datalog computation
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly efficient.
Research on integrating datalog & lambda calculus via monotonicity types
a clean C library for processing UTF-8 Unicode data
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
An implementation of differential dataflow using timely dataflow on Rust.
A reactive query engine built on differential dataflow.