6 Packages since 2015
User Packages
-
Callbacks.jl1-
-
Spec.jl1-
-
DReal.jl2Nonlinear SMT solving using dReal
-
ParametricInversion.jl5-
-
Lens.jl18Lens.jl is a simple Julia library to inspect the runtime behaviour of your programs, with minimal interference to the program itself.
-
Omega.jl86Causal, Higher-Order, Probabilistic Programming
View all packages