Omega is a library for Causal, Higher-Order, Probabilistic Programming
Arrows: Parametric Inversion
Arrows is a library for parametric inversion of programs
RayTrace.jl is a simple raytracer in Julia
Spec.jl is simple library for writing specifications of code
AbstractDomains.jl is a Julia package for abstract interpretation.
Lens.jl is a simple Julia package to dynamically inspect and extract values deep within your program, with minimal interference to the program itself.
Ports and Wrappers
TensorBoard.jl is a Julia interface to the TensorBoard
Sigma.jl is a probabilistic programming environment based in Julia. The functionality of Sigma is being transferred to Omega and Arrows