zenna/ParametricInversion.jl zenna/ParametricInversion.jl

  • Stars
    star
    21
  • Rank 1,084,038 (Top 22 %)
  • Language
    Julia
  • License
    MIT License
  • Created almost 5 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
zenna/ParametricInversion.jl
github

zenna

Reviews

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

Repository Details

More Repositories

1

Omega.jl

Causal, Higher-Order, Probabilistic Programming
Julia
163
star
2

Sigma.jl

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

Z3.jl

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

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