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/Z3.jl
Julia wrapper for The Z3 Theorem Prover (SMT Solver)
zenna/DReal.jl
Nonlinear SMT solving using dReal
zenna/cliques
Cliques
zenna/AlioZoo.jl
zenna/CDCL.jl
Conflict Driven Clause Learning in Julia
zenna/dreal3
zenna/halisi
relax
zenna/IBEX.jl
Ibex is a Julia wrapper for IBEX: a C++ library for constraint processing over real numbers
zenna/SMTBase.jl
Interface for SMT solvers and things which have nondeterministic variables.
zenna/31az
zenna/Alio.jl
Alio: a relational language for inference and learning
zenna/AlioAnalysis.jl
Analysis tools for Alio
zenna/delta
Sigma Machines
zenna/Distributions.jl
A Julia package for probability distributions and associated functions.
zenna/DynamicAnalysis.jl
DynamicAnalysis is a Julia package for benchmarking algorithms on computational problems
zenna/Esper.jl
An ESPER machine (see Blade Runner) for interactive analysis of data
zenna/fieldmaps
Field Transformation Networks
zenna/ibex-lib
IBEX is a C++ library for constraint processing over real numbers.
zenna/ig
zenna/Lasagne
Lightweight library to build and train neural networks in Theano
zenna/mdlatex
zenna/METADATA.jl
Metadata for registered Julia packages.
zenna/minimal-mistakes
A responsive Jekyll theme with clean typography and support for large full page images.
zenna/Ouroboros.jl
zenna/reverseflow
Parametric Inversion
zenna/Sketch.jl
Julia interface to Sketch backend for program synthesis
zenna/TensorFlowTarget.jl
TensorFlowTarget for Alio
zenna/tensortemplates
Function templates for tensorflow
zenna/TSne.jl
Julia port of L.J.P. van der Maaten and G.E. Hintons T-SNE visualisation technique.
zenna/wacacore
Core utilities and stuff common to many projects