Causal, Higher-Order, Probabilistic Programming
Sigma is a probabilistic programming environment implemented in Julia
Lens.jl is a simple Julia library to inspect the runtime behaviour of your programs, with minimal interference to the program itself.
Various finite representations of large or infinite sets and associated primitive functions
Nonlinear Constraint Solving and Optimization