amirsh

autodiff2

dice

Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)

field-dsl

scala-offheap

Type-safe off-heap memory for Scala.

ada-ana

ADA course

arith-dsl

A simple arithmetic (external) DSL implemented in Scala

bigdata-synthesis

BigDatalog

cake-benchmark

Benchmarking the performance of cake patterns in Scala

CakeTests

dblab

A framework for building database systems by high-level programming, and getting really good performance nevertheless.

dbtoaster-a5

DBToaster OCAML code

Dice.jl

egg

egg is a flexible, high-performance e-graph library

futhark-ad

Notes, examples, and general work on automatic differentiation and probabilistic programming

leon

The Leon system for verification, synthesis, and more.

mini-dblab

A minimalistic version of DBLAB :)

MorpheusPy

Factorized Machine Learning with NumPy

quickstep-datalog

Mirror of Apache Quickstep Incubator

radlog

RecStep

rsdd

Rust decision diagrams

scala

The Scala programming language

scala-native

Your favorite language gets closer to bare metal.

scala-records

Labeled records for Scala based on structural refinement types and macros.

squall

An streaming / online query processing / analytics engine based on Apache Storm

staged-streams.scala

taco

The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs

yin-yang

Library for deep embedding of DSLs based on Scala macros.

YMITSCompetition