Alternatives and similar repositories for etuples:

Users that are interested in etuples are comparing it to the libraries listed below

• pymc-devs / symbolic-pymc
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆61Updated 10 months ago
• davidar / stochaskell
  ☆13Updated 2 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆46Updated 5 months ago
• brandonwillard / mk-rewrite-completion
  Research into rewrite-rule completion in miniKanren
  ☆9Updated 5 years ago
• riswords / quiche
  ☆21Updated last year
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆68Updated this week
• NeilGirdhar / efax
  Exponential families for JAX
  ☆63Updated this week
• aesara-devs / aeppl
  Tools for an Aesara-based PPL.
  ☆64Updated 3 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆77Updated 7 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated 2 months ago
• wazizian / OnlineSampling.jl
  Online inference on reactive probabilistic models, with SMC and symbolic methods
  ☆16Updated last year
• aesara-devs / aehmc
  An HMC/NUTS implementation in Aesara
  ☆32Updated last year
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆46Updated last year
• massung / tabular-asa
  A column-oriented, dataframe implementation for Racket.
  ☆17Updated 5 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• andreypopp / BQN.jl
  BQN implementation in Julia
  ☆18Updated 2 years ago
• aesara-devs / aemcmc
  AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.
  ☆39Updated last year
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 8 months ago
• pytorch / expecttest
  ☆78Updated 2 months ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• ots22 / racket-ad-demos
  Exploring Automatic Differentiation with Racket
  ☆12Updated 3 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• zenna / Arrows.jl
  ☆14Updated 5 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated last month
• shashi / APL.jl
  ☆66Updated 2 years ago
• fastai / apl-study
  fast.ai APL study group notes
  ☆28Updated 2 years ago
• PhilipVinc / Jax.jl
  ☆28Updated 3 years ago