Alternatives and similar repositories for db-nets

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

• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated 4 months ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆49Updated 2 years ago
• edin-dal / structtensor
  ☆19Updated 6 months ago
• pearu / functional_algorithms
  Functional algorithms - definitions and implementations
  ☆13Updated 2 months ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆86Updated 9 months ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 7 years ago
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆66Updated 2 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆84Updated last year
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆76Updated 3 years ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• EelcoHoogendoorn / numga
  Geometric algebra in JAX and numpy
  ☆85Updated last week
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆92Updated this week
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆49Updated 7 months ago
• ga / awesome-geometric-algebra
  A curated list of geometric algebra resources
  ☆135Updated 5 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆55Updated 2 years ago
• j-towns / flipper
  Reversible programming in Agda
  ☆13Updated 2 years ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 9 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆124Updated last year
• kovach / etch
  ☆16Updated last year
• riswords / quiche
  ☆24Updated 2 years ago
• regina-normal / regina
  The main source code for Regina
  ☆39Updated last week
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆168Updated 6 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆128Updated last year
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆77Updated 7 years ago
• microsoft / ADBench
  Benchmarking various AD tools.
  ☆110Updated 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…
  ☆112Updated this week
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆25Updated 2 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated 2 years ago
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆201Updated 4 years ago