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
• brandonwillard / mk-rewrite-completion
  Research into rewrite-rule completion in miniKanren
  ☆9Updated 6 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆50Updated 8 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆30Updated last week
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆76Updated this week
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated last year
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• aesara-devs / aehmc
  An HMC/NUTS implementation in Aesara
  ☆32Updated last year
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• riswords / quiche
  ☆22Updated 2 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 10 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆21Updated 2 years ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 6 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated last year
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated last year
• pschanely / hypothesis-crosshair
  Level-up your Hypothesis tests with CrossHair
  ☆12Updated last week
• massimo-nocentini / microkanrenpy
  A Pythonic implementation of *microkanren* logic language
  ☆10Updated 4 years ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆32Updated 8 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 3 years ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago