Sigma is a probabilistic programming environment implemented in Julia

Causal, Higher-Order, Probabilistic Programming

Lens.jl is a simple Julia library to inspect the runtime behaviour of your programs, with minimal interference to the program itself.

-

Nonlinear SMT solving using dReal

-

-