edin-dal / structtensorLinks
☆19Updated last month
Alternatives and similar repositories for structtensor
Users that are interested in structtensor are comparing it to the libraries listed below
Sorting:
- ☆13Updated 11 months ago
- Probabilistic programming system for fast and exact symbolic inference☆80Updated 11 months ago
- ☆22Updated 2 years ago
- Compiler with automatic differentiation☆48Updated last year
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 3 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- Factor Graph Grammars in Python☆13Updated 6 months ago
- ☆11Updated 3 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆30Updated last month
- Probabilistic Circuits from the Juice library☆106Updated last year
- ☆19Updated 2 years ago
- Einsum optimization using opt_einsum and PyTorch FX graph rewriting☆21Updated 3 years ago
- Python term rewriting☆29Updated 12 years ago
- Structured decompositions!☆14Updated 3 months ago
- ☆25Updated last week
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- ☆15Updated 6 years ago
- Sparse linear Boolean algebra for Nvidia Cuda☆24Updated this week
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 7 months ago
- egraph <-> json☆14Updated 8 months ago
- sdqlpy: A Compiled Query Engine for Python☆20Updated 2 years ago
- Probabilistic programming with programmable variational inference.☆20Updated last year
- ☆13Updated 2 years ago
- Python package for Sentential Decision Diagrams (SDD)☆62Updated 4 months ago
- Generic API for dispatch to Pyro backends.☆16Updated 3 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆29Updated last month
- Logic Circuits from the Juice library☆48Updated last year
- How to read Lean☆17Updated 4 months ago
- Sheaves library for graph abstractions based on NetworkX☆15Updated 6 years ago