Omega is a library for Causal, Higher-Order, Probabilistic Programming
Parametric Inversion is a library for parametric inversion of programs
CausalDiscovery.jl is a library for causal discovery of reactive programs
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.
RayTrace.jl is a simple raytracer in Julia
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