• Stars
    star
    163
  • Rank 231,141 (Top 5 %)
  • Language
    Julia
  • License
    MIT License
  • Created over 6 years ago
  • Updated over 1 year ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Causal, Higher-Order, Probabilistic Programming

Omega.jl

Documentation Build Status

Omega is a library for causal and probabilistic inference in Julia.

Quick start

Install

Omega is built in Julia 1. We're going through some changes while we separate out packages. In the short term this makes just installation a little more complex. Try:

git clone [email protected]:zenna/Omega.jl.git
> julia
] develop Omega.jl

In not too long it'll be as simple as:

] add https://github.com/zenna/Omega.jl

See the documentation for how to use Omega.

More Repositories

1

Sigma.jl

Sigma is a probabilistic programming environment implemented in Julia
Jupyter Notebook
68
star
2

Z3.jl

Julia wrapper for The Z3 Theorem Prover (SMT Solver)
Julia
24
star
3

Lens.jl

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

ParametricInversion.jl

Julia
21
star
5

Arrows.jl

Julia
14
star
6

AbstractDomains.jl

Various finite representations of large or infinite sets and associated primitive functions
Julia
13
star
7

CausalDiscovery.jl

Julia
10
star
8

Box2D.jl

Julia Port of Box2D
Julia
5
star
9

Spec.jl

Julia
4
star
10

AndTraits.jl

Intersection traits
Julia
4
star
11

DReal.jl

Nonlinear SMT solving using dReal
Julia
4
star
12

avalance

Induce Programs
Clojure
3
star
13

Why.jl

Synthesis of Singular Causal Explanations
C++
2
star
14

OmegaModels.jl

Jupyter Notebook
2
star
15

Jaxy.jl

Prototyping JAX-style transformations within Julia
Julia
2
star
16

JuliaProgrammingPuzzles.jl

Julia
2
star
17

cliques

Cliques
C++
2
star
18

Tensorboard.jl

Julia
2
star
19

Callbacks.jl

Julia
1
star
20

XEAL

XPU Evolutionary Algorithm Library
1
star
21

Hologram.jl

Julia
1
star
22

OmegaCore.jl

Julia
1
star
23

zetta

wow
JavaScript
1
star
24

SortMyLife.jl

Sort My Life
Julia
1
star
25

dreal3

SMT
1
star
26

SMTBase.jl

Interface for SMT solvers and things which have nondeterministic variables.
Julia
1
star
27

icml2020causalomega

Jupyter Notebook
1
star
28

Induct

Program Induction
TeX
1
star
29

ZenUtils.jl

Julia misc utilities
Julia
1
star
30

SoftPredicates.jl

Julia
1
star
31

IBEX.jl

Ibex is a Julia wrapper for IBEX: a C++ library for constraint processing over real numbers
Julia
1
star
32

PyTorch.jl

PyTorch wrapper
Julia
1
star
33

MathTest.jl

Julia
1
star
34

SWIP.jl

Julia
1
star
35

xenomai-MAS-911X-driver

A driver for DAC 911x under xenomai analogy API
1
star
36

CDCL.jl

Conflict Driven Clause Learning in Julia
Julia
1
star
37

curiosity

JavaScript
1
star
38

CounterfactualFairness.jl

Julia
1
star
39

halisi

relax
Shell
1
star
40

AlioZoo.jl

Julia
1
star
41

PaperPlots.jl

Julia
1
star
42

RationalAbstraction.jl

Julia
1
star