SDQL Compiler written in Lean4

Sphinx is a state-of-the-art succinct and dynamic perfect hash table engineered for high performance on modern x86 CPUs.

A framework to help Data Scientists and Database Researchers

PyTond: A Pandas/NumPy to SQL Compiler

ScaIR - Democratizing Compilers

a python framework to build, learn and reason about probabilistic circuits and tensor networks

VecHT: A High-Performance Hash Table Optimized for Batch Lookups

A functional query language

sdqlpy: A Compiled Query Engine for Python

Repo of the original work on finally tagless (and a lot of other metaocaml work besides)

An implementation of the "Handlers in action" calculus in the K Framework

BayesCard: Revitalizing Bayesian Networks for Cardinality Estimation

Layered Multiple Functional Aggregate Optimization

An implementation of the staged Strymonas streams library in Agda for C

Nucleotide-pair encoding of 16S rRNA sequences for host phenotype and biomarker detection

Pytorch C++ Library

ATen: A TENsor library for C++11

Squid – type-safe metaprogramming and compilation framework for Scala

A domain-specific-language and compiler for low-level bitstream processing.

Shaking expression trees until something tasty pops out

Database-Supported Haskell

Example DSLs for working with SC

Your favorite language gets closer to bare metal.

Readings in Databases