Skip to content
View zenna's full-sized avatar
179 followers · 38 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@dreal

Block or report zenna

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. Omega.jl Omega.jl Public

    Causal, Higher-Order, Probabilistic Programming

    Julia 164 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