Alternatives and similar repositories for db-nets

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

• pearu / functional_algorithms
  Functional algorithms - definitions and implementations
  ☆13Updated 3 months ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆49Updated 2 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆84Updated last year
• ga / awesome-geometric-algebra
  A curated list of geometric algebra resources
  ☆136Updated last month
• EelcoHoogendoorn / numga
  Geometric algebra in JAX and numpy
  ☆86Updated last month
• riswords / quiche
  ☆24Updated 2 years ago
• edin-dal / structtensor
  ☆19Updated 8 months ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated last year
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 7 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 11 months ago
• kovach / etch
  ☆16Updated last year
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆50Updated 9 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated last month
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated 2 years ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆96Updated this week
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆86Updated 10 months ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• bruel-gabrielsson / universal-function-approximation-on-graphs
  NeurIPS 2020
  ☆16Updated 4 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆56Updated 2 years ago
• microsoft / ADBench
  Benchmarking various AD tools.
  ☆110Updated last year
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆18Updated 3 years ago
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆201Updated 5 years ago
• ChezJrk / verified-scheduling
  ☆44Updated 3 months ago
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆76Updated 3 years ago
• j-towns / flipper
  Reversible programming in Agda
  ☆13Updated 2 years ago
• Rufflewind / revad
  Reverse-mode automatic differentiation in Rust (experiment)
  ☆63Updated 5 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• 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
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆26Updated 2 years ago