Alternatives and similar repositories for db-nets:

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

• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆26Updated 6 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated last month
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆46Updated last year
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 9 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
• folivetti / pandoc-symreg
  pandoc-like tool for symbolic regression expressions
  ☆12Updated last year
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated last year
• regina-normal / regina
  The main source code for Regina
  ☆36Updated 3 weeks ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆46Updated last year
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆13Updated 6 months ago
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆75Updated 3 years ago
• rose-lang / rose
  Composable autodiff for the interactive web.
  ☆24Updated 6 months ago
• riswords / quiche
  ☆21Updated 2 years ago
• edin-dal / structtensor
  ☆20Updated 5 months ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 5 months ago
• miking-lang / miking-dppl
  ☆17Updated last week
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 2 years ago
• EelcoHoogendoorn / numga
  Geometric algebra in JAX and numpy
  ☆80Updated 3 weeks ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• kedlaya / tetrahedra
  ☆35Updated 3 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆27Updated 3 years ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago