dummy-link

Top Pkgs Packages

1

Omega

Causal, Higher-Order, Probabilistic Programming

2

Sigma

Sigma is a probabilistic programming environment implemented in Julia

3

Lens

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

4

AbstractDomains

Various finite representations of large or infinite sets and associated primitive functions

5

DReal

Nonlinear Constraint Solving and Optimization

6