Alternatives and similar repositories for etuples:

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

• davidar / stochaskell
  ☆13Updated 2 years ago
• pymc-devs / symbolic-pymc
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆62Updated last year
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 9 months ago
• brandonwillard / mk-rewrite-completion
  Research into rewrite-rule completion in miniKanren
  ☆9Updated 5 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated 3 months ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆48Updated 6 months ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆68Updated this week
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 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
• NeilGirdhar / efax
  Exponential families for JAX
  ☆63Updated this week
• rlouf / blog-benchmark-rwmetropolis
  Code to reproduce the results of 👇
  ☆18Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• riswords / quiche
  ☆21Updated 2 years ago
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆93Updated 5 months ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆13Updated 5 months ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• statusfailed / numeric-optics-python
  ☆25Updated 2 years ago
• aesara-devs / aehmc
  An HMC/NUTS implementation in Aesara
  ☆32Updated last year
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 3 weeks ago
• aesara-devs / aemcmc
  AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.
  ☆39Updated last year
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆20Updated this week
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆74Updated 3 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated last year