Alternatives and similar repositories for db-nets

Users that are interested in db-nets are comparing it to the libraries listed below

• edin-dal / structtensor
  ☆19Updated 3 months ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated last year
• riswords / quiche
  ☆23Updated 2 years ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 4 months ago
• EelcoHoogendoorn / numga
  Geometric algebra in JAX and numpy
  ☆83Updated 5 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• VMatthijs / CHAD
  ☆21Updated 3 years ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 7 years ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 10 months ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆89Updated this week
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• folivetti / pandoc-symreg
  pandoc-like tool for symbolic regression expressions
  ☆14Updated last year
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated 2 years ago
• pearu / functional_algorithms
  Functional algorithms - definitions and implementations
  ☆12Updated 3 weeks ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 6 months ago
• taliesinb / MathTools
  MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…
  ☆19Updated last year
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆64Updated last year
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆67Updated last year
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆107Updated last week
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 6 months ago
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆93Updated last month
• herbie-fp / rival
  Interval arithmetic for real computation
  ☆23Updated 2 months ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆14Updated 2 weeks ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated last month
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆98Updated last month
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆201Updated 4 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago