Zenna Tavares

icon indicating a website link http://www.zenna.org

icon company Basis icon location New York

Results 5 repositories owned by Zenna Tavares

Lens.jl

20
Stars
6
Forks
Watchers

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

verified publisher icon zenna

Omega.jl

142
Stars
16
Forks
Watchers

Causal, Higher-Order, Probabilistic Programming

verified publisher icon zenna

ParametricInversion.jl

21
Stars
2
Forks
Watchers

verified publisher icon zenna

Sigma.jl

68
Stars
3
Forks
Watchers

Sigma is a probabilistic programming environment implemented in Julia

verified publisher icon zenna

Z3.jl

24
Stars
4
Forks
Watchers

Julia wrapper for The Z3 Theorem Prover (SMT Solver)

verified publisher icon zenna