Popular repositories Loading

1. Omega.jl Omega.jl Public

   Causal, Higher-Order, Probabilistic Programming

   Julia 170 17

2. Sigma.jl Sigma.jl Public

   Sigma is a probabilistic programming environment implemented in Julia

   Jupyter Notebook 68 3

3. Z3.jl Z3.jl Public

   Julia wrapper for The Z3 Theorem Prover (SMT Solver)

   Julia 24 4

4. Lens.jl Lens.jl Public

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

   Julia 23 6

5. ParametricInversion.jl ParametricInversion.jl Public

   Julia 21 2

6. Arrows.jl Arrows.jl Public

   Julia 14 2