neural-symbolic-reasoning
Holographic vectors you can compute with. Bind structure, bundle sets, unbind components cross NumPy, PyTorch, and JAX.