Alternatives and similar repositories for structtensor

Users that are interested in structtensor are comparing it to the libraries listed below

• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 10 months ago
• diprism / fggs
  Factor Graph Grammars in Python
  ☆13Updated 5 months ago
• davidar / stochaskell
  ☆13Updated 2 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆83Updated last month
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated last year
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 6 months ago
• trappmartin / BayesianSumProductNetworks
  Implementation of Bayesian Sum-Product Networks
  ☆13Updated 4 years ago
• Tractables / Alea.jl
  ☆21Updated this week
• Tractables / ProbabilisticCircuits.jl
  Probabilistic Circuits from the Juice library
  ☆106Updated 11 months ago
• metagraph-dev / mlir-graphblas
  MLIR tools and dialect for GraphBLAS
  ☆18Updated 3 years ago
• riswords / quiche
  ☆22Updated 2 years ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 years ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 7 years ago
• genjax-dev / programmable-vi-pldi-2024
  Probabilistic programming with programmable variational inference.
  ☆20Updated 10 months ago
• kovach / etch
  ☆17Updated 10 months ago
• Tractables / LogicCircuits.jl
  Logic Circuits from the Juice library
  ☆48Updated 10 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆29Updated last week
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆11Updated 4 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 11 months ago
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated last year
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated 2 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated last week
• ul-fmf / mlfmf-data
  Machine Learning for Mathematical Formalization
  ☆11Updated 9 months ago
• UCLA-StarAI / Forclift
  First-order knowledge compilation for lifted probabilistic inference
  ☆11Updated 7 years ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆75Updated last week
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 8 months ago
• jax-ml / coix
  Inference Combinators in JAX
  ☆48Updated this week
• AlgebraicJulia / AlgebraicOptimization.jl
  ☆12Updated last week