Alternatives and similar repositories for db-nets

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

• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated 2 years ago
• pearu / functional_algorithms
  Functional algorithms - definitions and implementations
  ☆13Updated last week
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆90Updated this week
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• ga / awesome-geometric-algebra
  A curated list of geometric algebra resources
  ☆134Updated 5 years ago
• Rufflewind / revad
  Reverse-mode automatic differentiation in Rust (experiment)
  ☆63Updated 4 years ago
• riswords / quiche
  ☆24Updated 2 years ago
• edin-dal / structtensor
  ☆19Updated 5 months ago
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated 2 years ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 5 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated 2 months ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 7 years ago
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆201Updated 4 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆85Updated 7 months ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆51Updated last month
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated 2 years ago
• microsoft / ADBench
  Benchmarking various AD tools.
  ☆109Updated last year
• folivetti / pandoc-symreg
  pandoc-like tool for symbolic regression expressions
  ☆14Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆121Updated last year
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• EelcoHoogendoorn / numga
  Geometric algebra in JAX and numpy
  ☆84Updated 6 months ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 11 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 7 months ago
• 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…
  ☆109Updated this week
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆77Updated 7 years ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• regina-normal / regina
  The main source code for Regina
  ☆39Updated 2 weeks ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 7 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆204Updated 3 weeks ago
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆75Updated 3 years ago