High-quality implementations of standard and SOTA methods on a variety of tasks.
A simple probabilistic programming language.