ScaIR - Democratizing Compilers

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

Standard ML interpreter, with relational extensions, implemented in Java

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

C as an Embedded Language in Scala

Structure Prediction Library

The Scala 3 compiler, also known as Dotty.

Slick (Scala Language Integrated Connection Kit) is a modern database query and access library for Scala