Pinned Repositories
AbstractDomains.jl
Various finite representations of large or infinite sets and associated primitive functions
AndTraits.jl
Intersection traits
Arrows.jl
Box2D.jl
Julia Port of Box2D
CausalDiscovery.jl
Lens.jl
Lens.jl is a simple Julia library to inspect the runtime behaviour of your programs, with minimal interference to the program itself.
Omega.jl
Causal, Higher-Order, Probabilistic Programming
ParametricInversion.jl
Sigma.jl
Sigma is a probabilistic programming environment implemented in Julia
Z3.jl
Julia wrapper for The Z3 Theorem Prover (SMT Solver)
zenna's Repositories
zenna/Omega.jl
Causal, Higher-Order, Probabilistic Programming
zenna/Lens.jl
Lens.jl is a simple Julia library to inspect the runtime behaviour of your programs, with minimal interference to the program itself.
zenna/ParametricInversion.jl
zenna/CausalDiscovery.jl
zenna/AndTraits.jl
Intersection traits
zenna/Spec.jl
zenna/Jaxy.jl
Prototyping JAX-style transformations within Julia
zenna/JuliaProgrammingPuzzles.jl
zenna/OmegaModels.jl
zenna/CounterfactualFairness.jl
zenna/Hologram.jl
zenna/MathTest.jl
zenna/OmegaCore.jl
zenna/RationalAbstraction.jl
zenna/BeyondBayes
ICML Workshop. Beyond Bayes: Paths TowardsUniversal Reasoning
zenna/canyoupleaseappreciatethis
It's in the name
zenna/CausalAbstraction.jl
zenna/CausalModelsExercise.jl
zenna/CompilerJobs
A listing of compiler, language and runtime teams for people looking for jobs in this area
zenna/DemoSim.jl
zenna/DSLearn.jl
zenna/HologramX.jl
zenna/LeanOmega
Explorations in building a reasoning language in Lean
zenna/Mjolnir.jl
A little less conversation, a little more abstraction
zenna/NeurIPS_2022_Submission
zenna/RayMarch.jl
zenna/RayTrace.jl
Simple RayTracer
zenna/RunTools.jl
Run Tools
zenna/SolarSystem.jl
zenna/zenna.github.io
Zenna