Discover @zenna Open Source projects

Zenna Tavares (@zenna)

zenna

Stars
387
Global Rank 72,230 (Top 3 %)
Followers 172
Following 36
Registered over 14 years ago
Most used languages

Julia
73.2 %

Jupyter Notebook
7.3 %

C++
4.9 %

JavaScript
4.9 %

SMT 2.4 %

TeX
2.4 %

Clojure
2.4 %

Shell
2.4 %
Location 🇬🇧 United Kingdom
Country Total Rank 3,437
Country Ranking

SMT 9

Julia
10

Jupyter Notebook
348

Clojure
364

TeX
1,423

C++
3,478

Shell
6,604

Omega.jl

Causal, Higher-Order, Probabilistic Programming

Sigma.jl

Sigma is a probabilistic programming environment implemented in Julia

Jupyter Notebook

Z3.jl

Julia wrapper for The Z3 Theorem Prover (SMT Solver)

Lens.jl

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

ParametricInversion.jl

Arrows.jl

AbstractDomains.jl

Various finite representations of large or infinite sets and associated primitive functions

CausalDiscovery.jl

Box2D.jl

Julia Port of Box2D

Spec.jl

AndTraits.jl

Intersection traits

DReal.jl

Nonlinear SMT solving using dReal

avalance

Induce Programs

Why.jl

Synthesis of Singular Causal Explanations

OmegaModels.jl

Jupyter Notebook

Jaxy.jl

Prototyping JAX-style transformations within Julia

JuliaProgrammingPuzzles.jl

cliques

Tensorboard.jl

Callbacks.jl

XEAL

XPU Evolutionary Algorithm Library

Hologram.jl

OmegaCore.jl

zetta

SortMyLife.jl

dreal3

SMTBase.jl

Interface for SMT solvers and things which have nondeterministic variables.

icml2020causalomega

Jupyter Notebook

Induct

Program Induction

ZenUtils.jl

Julia misc utilities

SoftPredicates.jl

IBEX.jl

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

PyTorch.jl

PyTorch wrapper

MathTest.jl

SWIP.jl

xenomai-MAS-911X-driver

A driver for DAC 911x under xenomai analogy API

CDCL.jl

Conflict Driven Clause Learning in Julia

curiosity

CounterfactualFairness.jl

halisi

AlioZoo.jl

PaperPlots.jl

RationalAbstraction.jl