term-rewriting-system

Here are 3 public repositories matching this topic...

Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.

Term Rewriting System

A programming language based on combinatory logic and term rewrite systems, with an advanced type system.

Add a description, image, and links to the term-rewriting-system topic page so that developers can more easily learn about it.

To associate your repository with the term-rewriting-system topic, visit your repo's landing page and select "manage topics."