Projects
Active Projects
Omega
Omega is a library for Causal, Higher-Order, Probabilistic Programming
Parametric Inversion
Parametric Inversion is a library for parametric inversion of programs
Causal Discovery
CausalDiscovery.jl is a library for causal discovery of reactive programs
Software Tools
Spec
Spec.jl is simple library for writing specifications of code
AbstractDomains
AbstractDomains.jl is a Julia package for abstract interpretation.
Lens
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
RayTrace.jl is a simple raytracer in Julia
Ports and Wrappers
TensorBoard.jl
TensorBoard.jl is a Julia interface to the TensorBoard
DReal.jl
DReal.jl is a Julia interface to the dreal nonlinear SMT solver.
Z3.jl
Z3.jl is a Julia interface to the Z3 theorem prover.
Deprecated Projects
Sigma
Sigma.jl is a probabilistic programming environment based in Julia. The functionality of Sigma is being transferred to Omega and Arrows