Last released Sep 30, 2026
A probabilistic programming language for reasoning about reasoning
Last released Aug 25, 2020
Elegant dimensions for a more civilized age