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.
  ☆62Updated last year
• davidar / stochaskell
  ☆13Updated 2 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆50Updated 7 months ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆73Updated last week
• brandonwillard / mk-rewrite-completion
  Research into rewrite-rule completion in miniKanren
  ☆9Updated 5 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• riswords / quiche
  ☆21Updated 2 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 10 months ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• IgnitionProject / ignition
  A numerical code generator
  ☆20Updated 11 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 9 months ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆93Updated this week
• aesara-devs / aehmc
  An HMC/NUTS implementation in Aesara
  ☆32Updated last year
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆13Updated last year
• suriyadeepan / pm-pyro
  PyMC3-like Interface for Pyro
  ☆37Updated 5 years ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• pepijndevos / futhark-pycffi
  Python library using the Futhark C backend via CFFI
  ☆23Updated 2 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• massimo-nocentini / microkanrenpy
  A Pythonic implementation of *microkanren* logic language
  ☆10Updated 4 years ago
• jwiegley / control-theory
  Control theory in Haskell: Data structures, algorithms and adapters
  ☆80Updated 6 years ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆63Updated this week
• FBruzzesi / deczoo
  A Zoo for decorators
  ☆25Updated 3 weeks ago
• outergroup / vexpr
  Write your code as tree-like expressions, then transform it
  ☆21Updated last year
• ots22 / racket-ad-demos
  Exploring Automatic Differentiation with Racket
  ☆12Updated 3 years ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated last year