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 last year
• riswords / quiche
  ☆22Updated 2 years 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
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated last year
• ChezJrk / verified-scheduling
  ☆38Updated last year
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 9 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 7 years ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆75Updated this week
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• edin-dal / structtensor
  ☆20Updated 6 months ago
• regina-normal / regina
  The main source code for Regina
  ☆38Updated last week
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 2 months ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 6 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 6 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last month
• rose-lang / rose
  Composable autodiff for the interactive web.
  ☆25Updated 7 months ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆13Updated 7 months ago
• bruel-gabrielsson / universal-function-approximation-on-graphs
  NeurIPS 2020
  ☆15Updated 3 years ago
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆15Updated 6 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• punkdit / huygens
  ☆10Updated 2 weeks ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆113Updated 6 months ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆36Updated last year
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆64Updated last year
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆26Updated 6 years ago