Alternatives and similar repositories for etuples

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

• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆49Updated 11 months ago
• pymc-devs / symbolic-pymc
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆62Updated last year
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆85Updated last week
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆97Updated last year
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• gilch / drython
  metaprogramming for don't-repeat-yourself Python
  ☆25Updated 6 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.
  ☆97Updated 4 months ago
• agoose77 / literary
  Literate Python package development with Jupyter
  ☆11Updated 11 months ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• riswords / quiche
  ☆23Updated 2 years ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆32Updated 8 years ago
• pytorch / expecttest
  ☆83Updated 2 months ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• webyrd / summer-scheming
  Summer Scheming!!!!!!
  ☆11Updated 5 years ago
• pythological / kanren
  An extensible, lightweight relational/logic programming DSL written in pure Python
  ☆217Updated this week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• davidar / stochaskell
  ☆14Updated 2 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆47Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• shashi / APL.jl
  a pure julia APL implementation that gets mostly "compiled out"
  ☆67Updated 3 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• s-zeng / dhall-python
  Python bindings for dhall, a functional configuration language
  ☆48Updated 8 months ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated 2 weeks ago
• baruchel / apl
  An implementation of the APL language in Python with the Numpy module
  ☆30Updated 8 years ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• ThePoetCoder / APL-to-NumPy
  Converting APL Primitives to NumPy Expressions
  ☆27Updated last year