edin-dal / structtensor

Related projects ⓘ

Alternatives and complementary repositories for structtensor

• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆76Updated 4 months ago
• metagraph-dev / mlir-graphblas
  MLIR tools and dialect for GraphBLAS
  ☆17Updated 2 years ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆18Updated 2 weeks ago
• Tractables / ProbabilisticCircuits.jl
  Probabilistic Circuits from the Juice library
  ☆104Updated 5 months ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆21Updated 2 months ago
• riswords / quiche
  ☆22Updated last year
• trappmartin / AdvancedProbabilisticCircuits.jl
  Probabilistic Circuits in Julia
  ☆9Updated 10 months ago
• Tractables / LogicCircuits.jl
  Logic Circuits from the Juice library
  ☆48Updated 5 months ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆54Updated 3 weeks ago
• UCLA-StarAI / Forclift
  First-order knowledge compilation for lifted probabilistic inference
  ☆11Updated 7 years ago
• kovach / etch
  ☆17Updated 5 months ago
• davidar / stochaskell
  ☆12Updated last year
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆64Updated last year
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆80Updated last year
• ParAlg / CPAM
  CPAM: Compressed Parallel Augmented Maps
  ☆23Updated last month
• UCLA-StarAI / LearnPSDD
  ☆15Updated 5 years ago
• cambridge-mlg / EinsumNetworks
  ☆50Updated last year
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆12Updated last month
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆45Updated last year
• trappmartin / BayesianSumProductNetworks
  Implementation of Bayesian Sum-Product Networks
  ☆12Updated 4 years ago
• IDSIA / credici
  Credici: Credal Inference for Causal Inference
  ☆16Updated last month
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆24Updated this week
• weighted-model-integration / pywmi
  ☆19Updated last year
• Tractables / Dice.jl
  ☆17Updated this week
• JuliaComputing / SemiringAlgebra.jl
  Semiring Algebra
  ☆12Updated 3 years ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 2 years ago
• edin-dal / sdqlpy
  sdqlpy: A Compiled Query Engine for Python
  ☆19Updated last year
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 4 months ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆17Updated 2 years ago